devise environment data exploration visualization table contents features examples depth publications related work release contacts features features distinguish devise visualization environments visual query interface visualizations constructed set data saved applied input data data larger memory efficiently handled mapping data graphics record level control color shape individual records ability query data records represent graphics flexible layout mechanisms windows helps user group data comparison put needed linked axes cursor helps compare relationship views data record based input data direct input ascii files integer float date string data types examples check examples cool pictures quick introduction devise tree validation molecular biology cell images soil science birch clustering financial data exploration family medicine national climate data center geographical information system soil science file server program traces clinical sciences examples data viewer family medicine depth detailed description devise model visualization visual query interface performance issues publications miron livny raghu ramakrishnan jussi myllymaki visual exploration large data sets proceedings spie conference visual data exploration analysis january 1996 michael cheng miron livny raghu ramakrishnan visual analysis stream data proceedings spie conference visual data exploration analysis february 1995 raghu ramakrishnan michael cheng miron livny praveen seshadri sequence queries proceedings international conference management data comad december 1994 related work seq project complementary devise designed query record based sequenced data output queries visualized devise release information releasing version 1 1 8 devise executables solaris platforms dynamically linked set ld library path environment variable appropriately run devise supported architectures executables statically linked require libraries run time download devise click contacts information research project contact miron livny raghu ramakrishnan jussi myllymaki guangshun chen kent wenger user support hotline send mail devise user support hotline page accessed times october 1 1996


experimental software engineering group experimental software engineering group university maryland views software engineering laboratory science specific research projects centered formalizing aspects quality improvement paradigm experience factory goal question metric approach aimed building descriptive models software processes products forms experience experimenting analyzing models order build improvement oriented packaged models organizational approach packaging reusable software experiences supplying projects building core competencies software group information members group current research topics affiliated links software engineering laboratory sel software engineering university international software engineering research network international workshop software engineering data empirical software engineering international journal conferences resources publications line lab package empirical investigation perspective based reading cmsc 435 updated sep 18 1996 cs umd count started sep 18 1996


basefont 4 click text ismap general projects people publications presentations demos related page copyright 1996 webmaster www nugget cs ucla created 95 05 12 updated 96 05 23


asynchronous trigger project internal documentation personnel information eric chris vinod lin samir sreenath rich roger jb required office hours team members tba project information white paper describing project goals distribute run oracle pro phased approach overview phase 1 design tcl overview index info tcl tk don print postscript books buy book hard copy line tcl manual information version tcl providing multi thread support rcs info systems rendezvous bus architecture data source outline phase 1 detailed architecture design server design eric thoughts binary transmission objects network installation setup directories install copy directory programmer makefile information sparc solaris proposed sybase data source architecture proposed parallel architecture updated 9 6 95 hanson


umass unmanned ground vehicle ugv project project overview umass unmanned ground vehicle ugv project part larger arpa sponsored ugv effort spring 1991 spring 1994 umass role ugv program develop mobile perception laboratory mpl vehicle designed support research umass landmark based navigation motion stereo based obstacle avoidance 3d map construction mpl completed turned 1994 umass ugv team contribute arpa ugv program research terrain reconstruction navigation behaviors research projects terrain reconstruction behaviors csu umass mobile perception laboratory arpa sponsored ugv research partial list arpa sponsored ugv contractors mosaic pages describing work carnegie mellon university jpl obstacle detection university michigan multi vehicle planning information university massachusetts computer vision lab found


department computer science university maryland college park maryland 20742 index maruti 3 0 release announcement recent publications recent accomplishments maruti background maruti design goals design approach principles maruti personnel maruti 3 0 system architecture background purpose maruti project create environment development deployment critical applications hard real time constraints reactive environment applications execute platform consisting distributed heterogeneous resources operate continuously presence faults maruti project started 1988 version system designed object oriented system suitable extensions objects support real time operation proof concept version design implemented run top unix operating system supported hard real time applications running distributed heterogeneous environment feasibility fault tolerant concepts incorporated design maruti system demonstrated unix kernel made implementation operational 1990 realized unix host real time applications control resources exercised system extensive modifications kernel based lessons learned design proceeded design current version maruti changed implementation base cmu mach permitted direct control resources recently implemented maruti directly 486 pc hardware providing maruti applications total control resources initial version distributed maruti implemented allowing maruti applications run network synchronized hard real time manner design goals design real time system consideration primary characteristics applications supported design maruti guided application characteristics requirements real time requirements important requirement real time systems capability support timely execution applications contrast existing systems generation systems require support hard soft real time applications platform fault tolerance mission critical systems safety critical fault tolerance requirements context fault tolerance ability system support continuous operation presence faults number techniques supporting fault tolerant systems suggested literature rarely real time requirements system real time operating system provide support fault tolerance exception handling capabilities increased reliability continuing satisfy timing requirements inherent characteristics systems require multiple autonomous computers connected local area network cooperate distributed manner computers resources system homogeneous heterogeneous due autonomous operation components cooperate system control coordination difficult task system implemented centralized manner techniques learned design implementation centralized systems extend distributed systems straightforward manner scenarios real time applications undergo modes operation life cycle scenario defines set jobs executing system time hard real time system capable switching scenario maintaining system safe stable state times violating timing constraints integration multiple requirements major challenge building operating systems mission critical computing integration multiple requirements conflicting nature requirements solutions developed date integration requirements single system formidable task real time requirements preclude fault handling techniques fault tolerant systems design approach principles maruti time based system resources reserved prior execution resource reservation time line allowing reasoning real time properties natural time driven architecture predictable execution real time systems requirement critical applications requiring hard real time performance basic design approach outlined resource reservation hard real time jobs hard real time applications maruti advance resource reservation resulting priori guarantees timely execution hard real time jobs achieved calendar data structure track resource reservations assigned time intervals resource requirements early development stage application manipulated analyzed refined phases application development predictability reduction resource contention hard real time jobs scheduled time driven scheduling paradigm resource contention jobs eliminated scheduling results reduced run time overheads leads high degree predictability jobs pre scheduled resources shared jobs calendar jobs system real time activities resource contention leading lack predictability eliminating resource contention reducing eliminate lack predictability allowing slack schedule integrated support fault tolerance fault tolerance objectives achieved integrating support fault tolerance levels system design fault tolerance supported early fault detection handling resilient application structures redundancy capability switch modes operation fault detection capabilities integrated application development permitting application specific fault detection fault handling fault handling result violation temporal constraints replication make application resilient failure replica affect timely execution operation system controlling anticipated load failure conditions system revoke guarantees hard real time applications change mode operation dynamically acceptable degraded mode operation continue separation mechanism policy design maruti emphasis separating mechanism policy instance system basic dispatching mechanisms time driven system keeping design specific scheduling policies separate approach aspects system separating mechanism policy system tailored optimized environments portability extensibility unlike real time systems aim maruti project develop system tailored wide variety situations small embedded systems complex mission critical systems rapid change hardware technology imperative design portable platforms makes minimal assumptions underlying hardware platform portability extensibility enhanced modular design defined interfaces integration techniques design relative ease support hard soft real time environment critical systems consist applications mix hard soft real time requirements sharing data resources execute environment approach maruti support integrated execution applications multiple requirements reducing bounding unpredictable interaction support distributed operation embedded systems processors carry computations multiple processors function autonomously hard real time applications requires operating system support coordinated resource management maruti coordinated time based resource management resources distributed environment including processors communication channels support multiple execution environments maruti support multiple execution environments facilitate program development execution real time applications execute maruti mach maruti standalone environments maintain high degree temporal determinacy maruti standalone environment suited embedded applications maruti mach permits concurrent execution hard real time real time unix applications addition maruti virtual environment designed aid development real time applications environment code runs environments execute access unix debugging tools environment temporal accuracy maintained respect virtual real time support temporal debugging application executes maruti virtual environment interactions carried respect virtual real time control user user speed respect actual time slow virtual time instant debugging tools examine state execution debug application maintaining temporal relationships process call temporal debugging principal investigators dr ashok agrawala dr satish tripathi research programmers jan current visitors dr raghavan dr dheeraj graduate students mohamed choi krishnan sung lee frank miller bao recent alumni daniel mosse assistant professor university pittsburgh manas saksena assistant professor concordia university gud trusted information systems nathan lewis microsoft corporation aerospace engineering chia mei chen steve cheng hwang jan loral bala srinivasan bell labs james da silva tracer technologies contact information dr ashok agrawala agrawala cs umd 1 301 405 2525 department computer science university maryland college park md 20742 fax 1 301 405 6707 problems html document contact href mailto cs umd cs umd modified 31 1996


modified november 12 1996 artificial intelligence research group computer science department university landau germany research project disjunctive logic programming funding persons activities publications related projects related links long term goal project develop logic programming system disjunction head clause monotonic negation body clause allowed goal achieved appropriately combining classical deduction monotonic reasoning systems specifically project aims develop disjunctive logic programming system based protein theorem prover developed earlier artificial intelligence research group funding project funded deutsche federal government agency funds basic research projects germany persons involved project headed prof dr ulrich dr ju dix research scientists dr dr working project addition katrin fer students working master degrees involved project marion herrmann project secretary activities ju dix organized dagstuhl seminar disjunctive logic programming databases monotonic aspects group participated workshop titled integrating nonmonotonicity automated reasoning systems ecai 96 contact details group presented poster poster session 96 group presented system description ki 96 group organizing lpnmr 97 contact ju dix details group organizing 98 contact ju dix ulrich details recent publications recent publications members project listed complete list local technical reports maintained peter baumgartner flexible system constraint disjunctive logic programming research report 19 96 abstract report disjunctive logic programming system based protein theorem prover research report 16 96 abstract report ju dix gerhard knowledge representation logic programs research report 15 96 abstract report peter baumgartner ulrich hyper disjunctive logic programming research report 13 96 abstract report abductive framework negation disjunctive logic programming research report 9 96 abstract report efficient implementation founded stable model semantics research report 7 96 abstract report implementing circumscription tableau method research report 6 96 abstract report tableau calculus minimal model reasoning research report 5 96 abstract report stefan brass ju dix teodor przymusinski characterizations implementation static semantics disjunctive programs research report 4 96 abstract report stefan brass ju dix teodor przymusinski comparison static semantics wfs research report 2 96 abstract report dix gottlob marek reducing disjunctive disjunctive semantics shift operations research report 18 95 abstract report baumgartner dix fer und research report 17 95 abstract report brass dix wfs calculus equivalent characterization research report 12 95 abstract report baumgartner model elimination logic programming computing answers research report 1 95 abstract report related projects project founded funded project deduction theory reasoning proposed disjunctive logic programming system based protein theorem prover developed deduction project project disjunctive logic programming trivial case studies area information management planned conceived project titled deductive techniques information management systems related links lpnmr special interest group logic programming monotonic reasoning alp home page association logic programming maintained imperial college london logic programming section world wide web www virtual library artificial intelligence section www virtual library logic programming section imperial college london collection computer science bibliographies maintained alf christian achilles university karlsruhe germany conference announcements www archive announcements posted usenet newsgroup news announce conferences conferences logic programming web page logic programming related conferences maintained michael ley part bibliography server databases logic programming maintained arvind informatik uni de modified november 12 1996 logging


software measurement principal investigators linda ott current graduate students teresa hale jeff winters current undergraduates denise wieber description focus research software measurement identifying measuring trivial characteristics related software quality work focused measuring cohesion procedural paradigm recently shifted focus include object oriented paradigm selected publications linda ott james byung kang developing measures class cohesion object oriented software 7th annual oregon workshop software metrics june 1995 ott measuring functional cohesion ieee transactions software engineering august 1994 linda ott jeffrey slice based metrics estimating cohesion proc ieee cs international software metrics symposium baltimore 21 22 1993 ott slice profiles metrics software maintenance proc 10th annual software reliability symposium denver june 25 26 1992 ott relationship slices module cohesion proc 11th international conference software engineering pittsburgh 15 18 1989 selected masters theses examination behavior slice based cohesion measures thesis 1994 slicing slice based measures assessment functional cohesion operation schemas thesis 1994


phoenix home page img department computer science bright building texas university college station texas 77843 3112 homepages page construction phoenix project carried distributed systems laboratories texas university computer science department phoenix object oriented environment provide fault tolerance capabilities objects phoenix spring research distribution sun object oriented distributed operating system base aim phoenix provide fault tolerance objects spring fault tolerance phoenix provided levels 1 totally user application level system fault tolerance object oriented application developed spring fault tolerance provided modification source code fault tolerance provided party object source code 2 fault tolerance api level users specifically develop application tolerate faults library functions provided phoenix application programmers interface apis totally user transparent performance totally user transparent phoenix components major components inter dependent phoenix system fault tolerance support distributed objects provided layer layer makes objects phoenix fault tolerant checkpointing message logging object replication minimal disturbance object response time support provided fault tolerant naming service provided layer service helps finding replicated objects objects moved restarted failures transparent user fault tolerant communication services provided layer layer reliable causally totally ordered communication support objects assists checkpointing message logging distributed system health checker distributed failure detection service module continuously checks health system distributed fashion informs phoenix faults system layer helps continuing execution failed object node researchers involved prof dr udo pooch anil anish willis marti ellen mitchell phoenix meeting schedule agenda img papers related phoenix img papers spring img computer science dept home page questions comments suggestions phoenix homepage send mail anish updated 18th oct 1995


hypercomputing design project hpcd logo web pages hpcd construction overview broad objective hpcd build top advances massively parallel computing hypercomputing computational science ai modeling simulation technology develop generation engineering automation technology bring dramatic gains productivity national industrial base top level goal develop hypercomputing methods attaining order magnitude speedups time required transition innovative design concept scientific advance high quality product focus effort design complex engineering systems computers ships jet engines design process strongly dependent knowledge scientific disciplines main technical goals project 1 develop methods hypercomputing power conjunction scientific knowledge domain ai techniques order build computational models related simulations domain range highly accurate costly models needed scientific discovery design verification greatly reduced approximate cheap models needed explore large spaces design alternatives 2 develop methods tools based ai related areas computer computational science setup control complex simulations automatic analysis interpretation massive datasets produced simulation runs 3 develop methods tools computational models efficiently manage control formulation solution complex design problems hpcd arpa ito sponsored project framework national hpcc program project intended major step building comprehensive national resource hpc based computational methods facilities address grand challenge design project organized large scale multidisciplinary multi institutional consortium involving researchers academia industry participating universities include rutgers usc princeton present industrial participants include saic cambridge hydrodynamics chi ge lockheed ibm amd sematech bellcore boeing schlumberger intel research collaborations established researchers government industrial labs principal investigator pi saul rutgers pi project director louis steinberg rutgers pi assoc proj dir alvin usc pi proj dir steven princeton pi proj dir eytan chi pi james flanagan rutgers pi apostolos gerasoulis rutgers pi doyle knight rutgers pi norman rutgers pi component efforts hpcd designed address main technical goals project proceeding bottom exploration selected concrete design problems developing methodologies tools manner strongly influenced pull problems achieve cohesion res arch effort component efforts organized main clusters cluster concentrating design manufacturing computers related microstructures cluster ii concentrating design tasks critically dependent computational fluid dynamics cfd supporting cluster core work cluster iii emphasis computer computational science foundations methodologies related work main clusters cluster includes efforts research areas collaboration researchers synergy component efforts integral part approach project research areas cluster hypercomputing computer system design manufacturing area 1 tools design processes 1 4 micron electronic chip manufacturing area 2 design computers cluster ii hypercomputing design tasks supported computational fluid dynamics cfd area ii 1 design propulsion systems aerospace vehicles area ii 2 innovative ship design area ii 3 design voice mimic speech generation systems area ii 4 conceptual design air vehicles cluster iii core research hypercomputing design area iii 1 artificial intelligence ai methods systems design area iii 2 modeling ship design vortex flows area iii 3 software tools algorithms hpcd personnel hpcd reports links web pages collaborators related organizations access statistics maintained www cs rutgers page updated fri oct 11 12 00 42 edt 1996


qmg mesh generation related software qmg package finite element mesh generation dimensions package includes geometric modeling software mesh generator finite element solver free software downloadable web 1 runs unix windows nt releases qmg 0 released 5 1995 1 released 20 november 1996 websites mesh generation geometric software robert mesh generation home page ian page finite element resources web university minnesota geometry center list software computational geometry jonathan triangle package back vavasis home page stephen vavasis computer science department cornell university ithaca ny 14853 vavasis cs cornell


uw cecil vortex project home page cecil vortex projects uw cse conduct research programming language design implementation emphasis issues object oriented languages cecil purely object oriented language intended support rapid construction high quality extensible software cecil incorporates multi methods simple prototype based object model mechanism support structured form computed inheritance module based encapsulation flexible static type system statically dynamically typed code mix freely vortex optimizing compiler infrastructure object oriented high level languages targets pure object oriented languages cecil hybrid object oriented languages modula 3 java vortex incorporates high level optimizations static class analysis class hierachy analysis profile guided receiver class prediction profile guided selective procedure specialization intraprocedural message splitting automatic inlining static closure analyses includes collection standard intraprocedural analyses common subexpression elimination dead assignment elimination vortex compiler written cecil initial beta release cecil vortex system sparcs running sunos 4 sunos 5 solaris send mail cecil interest request message body subscribe subscribe list interested parties information obtain beta release ve recently finished technical report describes implementation research information project overview detailed overview project goals direction postscript version project members current past project members papers papers ve written sample projects list sample research projects people uw cse internal documentation project internal documentation people uw cse support page lists sources support project related projects pointers object oriented language implementation projects updated august 25 1996 cecil cs washington


berkeley network workstations project seeks harness power clustered machines connected high speed switched networks leveraging commodity workstations operating systems track industry performance increases key advent killer switch based high bandwidth network technological evolution support variety disparate workloads including parallel sequential interactive jobs scalable web services including world fastest web search engine project sponsored number project overview overview project including case research topics research high speed communication operating systems file systems web programming environments applications papers slides papers slides data produced members team project information pictures people private working directory server statistics users register list users registration form users page maintained cs berkeley


hotlinks sifter web home page service research group department school institution reached uab cis sifter research group world wide web server sifter acronym studies information filtering technology electronic resources research group formed december 1993 department computer information sciences located school natural sciences mathematics campus university alabama birmingham technology server system host history web service provided uab cis web gopher server ibm os 2 application running ibm ps 2 ultimedia pc 486 cis uab home page point access main menu uab cis gopher server web navigators gateway world web gopher navigators clients process hypertext documents inception february 1994 july 1995 server web server department computer information sciences result resource official departmental web server move internet host url http www cis uab note change links maintain note pages server transition resources variety information resources department nearby local geographic community internet list starting points web exploration recent console screen image departmental gopher service popular local web pages url usenet news web article archive alabama blue cross blue shield alabama supercomputing network bellsouth telecommunications clinic uab department photography instructional graphics uab lister hill library birthplace web ibm internet connection netscape communications corporation netscape lycos catalogue internet national center supercomputing applications ncsa mosaic nsf backbone internet service usage graphs principia project usenet news filtering service white house interactive citizens handbook yahoo www search facility contacts information sifter research group research interests projects computing facilities information services web pages obtained contacting appropriately warren jones faculty advisor sifter research group williams senior systems analyst uab cis computing facilities administrator uab cis sifter research group web services similar buttons located end hypertext pages server provide direct access selected browsing functions questions show current document format search local indices home page search show home 80 1995 7 14 cis uab


ucla commotion lab home page commotion laboratory recently established interdisciplinary laboratory primary purpose study collective behavior mobile automata mobile robots lab located computer science department ucla faculty students staff affiliated computer science electrical engineering mechanical aerospace nuclear engineering biology psychology departments lab overview information affiliated faculty staff students lab facilities cooperative mobile robotics robots papers remote laboratory project demos interesting web sites work commotion lab maintained tony lewis cs ucla number hits june 21 1996


scientific computing group iu computer science department people randall bramley chun perng cheah john lee tom vladimir viswanathan wang affiliated indiana university group found extreme computing lab projects papers projects development scientific computing group iu computer science department closely parallel computing methods large scale linear systems stokes problems computational fluid dynamics row projection methods partial preconditioners domain decomposition visualization problem solving environments program description computational science group computer science department part scientific computing program indiana university includes representatives chemistry mathematics physics geological sciences astronomy departments program formal recognition science prominent 15 years introduced powerful mode research based computer modeling data analysis visualization scientific computing involves aspects tackling problems typically includes formulation description physics problem development mathematical model physical problem selection creation algorithms solve equations mathematical model implementation computer analysis validation computer results visualization results carrying research area necessarily multidisciplinary calling advanced skills areas span classical divisions academia modern advances computational science typically involve teams researchers variety skills interests computer scientists key component mix needed good scientific computing team numerical analysis program labeling scientific computing draw attention grant money scientific computing numerical analysis analysis algorithms high performance computing computer graphics consists combination fields craft solution strategies applied problems good illustrate aspects computer science role computational science computational fluid dynamics cfd scientific computing group closely allied extreme computing group work connected center innovative computing applications randall bramley


img harold abelson class 1922 professor computer science engineering gerald sussman matsushita professor electrical engineering solving scientific problems increasingly depends high speed computation careful planning numerically based experiments high level qualitative interpretation large volumes quantitative data working jointly artificial intelligence ai laboratory researchers mit project mathematics computation developing wide range intelligent computation tools scientists engineers understand mathematical models physical processes project goals include efficient algorithms specialized hardware smart programs comprehend measured numerical data work scientific computation based ai methods computer vision techniques create programs qualitatively interpret graphical results numerical experiments programs construct numerical simulation systems dynamically complex processes chemical reactions nonlinear beams automatically incorporate qualitative analysis programs programs generate high level summary descriptions graphically english numerical experiments similar descriptions published scientific engineering papers support automatic construction numerical procedures seeking ways express numerical algorithms terms high order procedural abstractions sophisticated numerical routines assembled mixing matching components numerical library large library routines assembling symbolic methods numeric work rests scheme dialect lisp scheme programming environment invented continue develop joined scheme users developers formally dialect ieee expect freely native code scheme compiler offer performance comparable commercial lisp compilers img img img


emerald project ideally development phase fpga architecture make reliable set mapping tools produce accurate performance evaluations proposed designs quick production time frames faced developers tool construction postponed architectural features frozen satisfy fast tool prototyping designed emerald powerful architecture driven system quick development fpga tools heart emerald basic features needed fpga systems logic block analysis synthesis technology mapping global placement partitioning detailed placement routing cad environment efficient fpga routing logic block architectures architecture specific metrics tailor placement routing emerald parameterized schematic specifications architectural variations quickly captured evaluated emerald publications documents contained page included contributing authors means ensure timely dissemination scholarly technical work commercial basis copyright rights maintained authors copyright holders notwithstanding offered works electronically understood persons copying information adhere terms constraints invoked author copyright works reposted explicit permission copyright holder definitive emerald paper darren cronquist larry mcmurchie emerald architecture driven tool compiler fpgas proceedings 1996 acm sigda fourth international symposium field programmable gate arrays february 1996 router emerald larry mcmurchie carl ebeling pathfinder negotiation based performance driven router fpgas proceedings 1995 acm international symposium field programmable gate arrays aided design pp 111 117 february 1995 researchers darren cronquist carl ebeling larry mcmurchie


page construction laboratory advanced parallel systems studying aspects architectural system issues advanced high performance parallel architectures focus studying designing generations scalable massive parallel architectures based working massive parallel machine designed dr focus lead dr sha developing parallelization techniques optimally utilize processors communications memory detailed descriptions research projects found page faculty members dr peter cse dr edwin sha esha bach helios graduate students stephen dartt bach helios nelson bach helios michael sheliga msheliga bach helios david surma dsurma bach helios joy bach helios dev tongsima bach helios undergraduate students dan bach helios charles forsythe bach helios research projects general description research projects supervised dr edwin sha potential research projects undergraduate graduate students interested computer architectures parallel processing talk pursue possibility joint research send messages cad cse back cse home page revised edwin sha 20 1995


autonomous mobile robotics lab itchy center automation research homepage robots projects robotics robot t2 robotics airborne imaging robotic system frictionless navigation smart brook bot object tracking system running ssl built sonar ring 6 270 board path planning obstacle avoidance nonholonomic robots information consult postscript description projects autonomous mobile robotics lab helps run educational activities robotics held university maryland college park spring holding annual lego robot contest addition autonomous mobile robotics lab affiliated parallel understanding systems group people faculty photo dr james hendler director graduate students photo robert kohout photo vikram manikonda photo oliver seeliger undergraduate students photo photo wallace labs interest space systems laboratory visit number web pages maintained oliver seeliger send comments seeliger cs umd


virtual reality telepresence homepage cmsc virtual reality telepresence university maryland college park experimental taught prof ben shneiderman fall 1993 investigation state art virtual reality telepresence systems approximately 14 local students 10 students class satellite tapes produced instructional television itv facility campus distributed national technological university overview syllabus online electronic mechanisms distribution information students students instructor mailing list enables person subscribed easily send electronic mail people subscribed ftp site set umd anonymous files local students voluntarily notes happened class distributed electronically benefit remote students week delay class projects collaborative work major effort encyclopedia virtual environments eve major project journal virtual environments jove broader perspective resources world wide web web servers directory list newer locations added daily page place page created ark


autonomous vision sensor systems manufacturing dod muri program home page ongoing muri project lead dr boult team members alphabetic order prof peter allen columbia university prof rick blum lehigh university prof john kender columbia university prof roger lehigh university prof shree nayar columbia university prof richard wallace york university selectable topics textual summary project goals description slam software library appearance matching 100 object recognition system includes video clip action description real time shape focus range sensor including video clips information spherical pointing motor based camera laser housing 100k mpeg movie moving laser housing nyu information color polarization based processing applications information model based sensor planning movie information laser range finder based 3d model acquisition recognition terry boult vast lab department electrical engineering computer science lehigh university 304 packard lab 19 memorial drive west bethlehem pa 18015 610 758 758 lab 758 fax 866 home tboult eecs lehigh lehigh previous


university utah department computer science faculty ellen riloff project description sentence understanding concept extraction conceptual sentence analyzer construction stay tuned information develops img img img mail riloff cs utah information modified wed nov 22 06 26 13 1995


1584 logic distributed systems description project current form long term effort jon barwise relationship concept information logical notions inference proof information makes screen carry information indiana university notion information fit standard notions logic logical system past year joint work seligman barwise problem understand logical structure distributed systems idea led mathematical framework notions local logic information channel promising faculty jon barwise affiliated projects project grown work situation theory project csli current work carried gabbay imperial college jerry seligman national chung cheng university taiwan barwise seligman finishing book called information flow distributed systems support coas college professorship research funds img return computer science research page


content length accept ranges bytes internal haystack page moved send mail find public page construction haystack pull straw make home great deal research information retrieval detached users eventually benefit research hand traditional ir research systems cut inconvenient interface limited unchanging text collection fixed set evaluation queries increasingly date time passes hand recent web search tools resulted deployed ir systems convenient limited interfaces generally fixed modifiable corpora systems harvest content routing attempted address gaps extremes focusing construction flexible substrate users communities build repositories queries haystack project aimed individual customization end realistic living information retrieval systems interested building customizable substrates provided harvest content routing create community individual interacting personal information repositories archive base content user specific meta information enabling adapt users system address questions individuals information retrieval system organize personal collection information information retrieval system learn users evolve time effective system individuals build collections information retrieval systems search information located collections information organized information retrieval systems differ greatly step goal design simple convenient user interface annotation format information retrieval system current annotations emphasize user independent text meta information format structure annotations intended encompass hand generated automatic user specific annotations annotations class documents system search information treated object implementation chosen information retrieval engine user interface annotation system engine accept natural language query return documents match criteria begun mg information retrieval system concurrently investigating back ends including content routing harvest house image based ir system top arbitrary engine implementing interfaces retrieval annotation editing web proxy based interface users connect information retrieval engine favorite web browser maximize ease developing shell emacs based tools talking collection haystack intended archive objects text extracted initially implementing ascii postscript html scanned documents architecture easily extensible documents types intent simple standalone version haystack easy integrate everyday project minimal system people aiming organize mail file system favorite web pages expect attract moderate size community users mit system leverage annotation facilities explore questions question information retrieval system practice gathering usage data permission hope learn kinds queries people typically boolean nature single words tend precise find documents swamped useless results react back refinement strategies haystack provide user specific set answers questions question system learn interaction user scenario user types initial query stages refinement home document future system learn user types query document relevant good match annotation system user system level support learning process system annotate document terms user types expects find document user add keywords phrases document expectation future searches ultimately system make user specific generalizations based automatically manually entered optimization annotations individuals organizing information care natural user benefit work users typical search paper book office neighbor individuals search information people limit costs search improve filtering returned important system learn time individuals information user finds relevant haystack neighbors systems queried results trusted opportunity linking creates connecting individuals people address information information stored haystack good indicator knowledge interests question matches lot material haystack question answer haystack system serve information connecting experts sharing raises issue generalizing individuals customization larger data sets opportunity test adaptability query strategies test generalization underlying learning algorithms common thread ideas user specific customization information repositories retrieval processes issues explore hybrid world provided newest generation information access tools developing haystack system attract community users provide testbed exploring questions evolving interacting customized information systems david karger lynn andrea stein eytan mark clarke lili liu eric chuck van comments


knowledge based multimedia medical distributed database system participant national science foundation scientific database initiative grant principal investigators img img wesley chu alfonso cs ucla cs ucla computer science department university california los angeles mail rad ucla department sciences university california los angeles www page site find information project people involved www july 20 1996 introducing project screenshot tour people related ucla projects references publications ucla computer science department general note pages web server construction www page authored maintained david johnson reached djohnson cs ucla revision july 20 1996


2638 iris project ic 6 intelligent scheduling sfu intelligent systems lab isl simon fraser university participant iris project ic 6 intelligent scheduling main research goal project synthesis logic programming constraint reasoning belief revision temporal reasoning abductive reasoning viable intelligent scheduling framework detailed description project brochure adobe pdf format participants project canadian universities companies isl project related documents information main participating sites university alberta university toronto university regina university victoria sources information intelligent scheduling constraint archive city university information knowledge based scheduling list server send email message word listserver ac constraints faq overview csp based tools sites simon fraser university intelligent systems lab faculty applied science centre systems science school computing science ken jackson jackson cs sfu ca dec 1 95


space space approach operating systems multiple protection domains single kernel provide operating system services eliminating monolithic kernel operating system written set cooperating application programs great impact extensibility flexibility system multiple instances fundamental paradigms threads virtual memory coexist implemented applications code left operating system kernel set mechanisms implement protection domains space mechanisms replaced needed application provide fundamental level extensibility adaptive operating systems faculty john bruno bruno cs ucsb urs ho lzle urs cs ucsb martin rinard martin cs ucsb grad students dave cs ucsb mitch ferguson ferguson cs ucsb modified 96 05 21 dave cs ucsb


gator work part hpcc project funded nasa develop state art earth system model esm comprised coupled atmosphere ocean system including chemical tracers found exchanged atmosphere oceans starting point esm model ucla parallelized platforms coupled gator gas transport radiation chemistry model developed jacobson lu ucla esm model archive retrieve model output sequoia database coupled systems important tool helping scientists understand complex phenomena el parallel version gator developed berkeley jim demmel sharon smith gator models atmospheric chemistry los angeles basin detailed air pollution studies task parallelize gator scale globe gator includes modeling gas phase chemistry phase chemistry radiation transfer growth horizontal vertical convection dry wet deposition visibility emissions parallel version gator primary motivation research provide atmospheric scientists computational means studies earth future climate ucla esm evolving important codes portable efforts focused developing portable parallel code performance tuned parallel architectures main challenges parallelizing gator overcoming problems due load imbalance minimizing communication costs figure shows differences computation result load imbalance picture axis shows time axis show partitioning atmosphere block columns processor owns set block columns difference time processors illustrates amount computation due solving odes arise chemical kinetic equations largest amount computation occurs parts globe summer processors holding atmospheric cells winter night require amount computation click ode solver computation costs world solution load balancing problem block cyclic layout collect atmospheric cells parts globe single processor hope processor cells requiring amounts computation computationally intensive cells pictures illustrate block layout prevent load imbalance block cyclic layout performance modeling esm design parallel implementation gator timing model choose design alternatives benefit gator stand system part ucla results work reported demmel smith parallelizing global atmospheric chemical tracer model proceedings scalable high performance computing conf pages 718 725 knoxville tn 1994 demmel smith performance parallel global atmospheric chemical tracer model submitted supercomputing 95 eosdis extending modeling effort explore architecture earth observing system eos effort part end end problems eosdis nasa sponsored multi year project investigate alternative data management strategies eos project involves researchers berkeley los angeles san diego santa barbara campuses university california sample views environmental climate data courtesy jeff uc santa barbara click updated december 12 1995 cs berkeley


paradise parallel database system gis applications document contents objective client server paradise samples paradise frontend contact information publications related paradise people working paradise shore project object manager paradise opt extensible optimizer paradise bug reporting examine sequoia 2000 benchmark scripts vldb 94 paper information ssl uw madison database research group uw madison cs department server objective objective paradise project design implement evaluate scalable parallel geographic information system capable storing manipulating massive data sets applying object oriented parallel database technologies problem storing manipulating geographic information hope significantly advance size complexity gis data sets successfully stored browsed queried client server paradise paradise database system aimed handling gis types applications paradise graphical user interface querying browsing database supports subset sql issuing ad hoc queries paradise extended relational data model modeling gis applications addition support base data types integer real string paradise built support raster polygon polyline point circle video mpeg images data paradise shore underlying persistent object manager paradise front end display objects spatial attributes 2 map map layered display overlapping spatial attributes layer corresponds query customize ordering display layers selecting color labelling display attributes query database queried graphical interface ad hoc queries graphical interface issue implicit spatial queries zooming clicking sketching rubber banded box ad hoc queries paradise query composer menus query composer provide access database schema assist query composition query results viewed 2 map spatial attributes displayed table browse tuples result front end context sensitive paradise supports subset sql issuing ad hoc queries sql added ability invoke methods defined extended set types calculate area polygon method polygon area paradise supports standard database operations including create drop database create drop extent create drop indices insert update current version paradise employs client server architecture front end ships queries sql syntax paradise server execution executing query server ships result objects back client paradise server multi threaded multiple clients connect server designing implementing paradise sever careful attention paid insure system efficiently process queries involving spatial attributes large volumes data samples paradise frontend img europe data samples press contact information paradise project attn prof david dewitt university wisconsin madison computer sciences department 1210 west dayton street madison wi 53706 email paradise cs wisc biswadeep nag bng cs wisc


gnat project started nyu longer active information current status gnat complete ada 95 compiler system based gcc www gnat updated 10 25 96


3529 view morphing investigators steve seitz chuck dyer related publications view morphing siggraph 96 image based scene representation view morphing icpr 96 image morphing techniques generate compelling 2d transitions images differences object pose viewpoint distortions image morphs difficult correct manually basic principles projective geometry paper introduces simple extension image morphing correctly handles 3d projective camera scene transformations technique called em view morphing works images prior computing morph interpolated images knowledge 3d shape required technique applied photographs drawings rendered scenes ability synthesize viewpoint image structure affords wide variety interesting 3d effects simple image transformations img view morphing images object viewpoints produces illusion physically moving virtual camera click mpeg movie 184k interpolation img morph views faces produces simultaneous interpolation facial shape color pose click mpeg movie interpolation mpeg movies view morphs resolutions mona lisa mona lisa reflection img high resolution mpeg movie 10 frames low resolution mpeg movie 64k 20 frames img click mpeg movie jude shavlik chuck dyer changed september 8 1996


detail babbage difference engine acal advanced computer architecture laboratory department electrical engineering computer science university michigan 1301 beal avenue ann arbor mi 48109 2122 introduction ii faculty staff students iii computing environment iv research briefs affiliated research projects high performance microprocessor project hps parallel performance project hardware design verification microprocessors computer aided design reading group faculty biographies vi seminar series information contact denise lab administrator phone 313 763 1557 mail eecs umich michelle chapman web administrator phone 313 764 4329 mail chapman eecs umich regents university michigan


img modular robotics lab 113 powell hall university southern california ken goldberg director modular robotics lab aim develop science base automated assembly lines develop geometric algorithms interactive systems analyze low level geometry components part feeders fixtures underlying theme modular sensors actuators light beams parallel jaw hardware bears close resemblance existing hard automation systems applying computational theory rapidly configure reliably control hardware higher level modular components flexible feeders interactively configured facilitate design evaluation assembly lines prior installation research addresses basic theoretical questions complexity completeness algorithms involves companies efforts transfer basic results industrial practice mrl primarily funded national science foundation adept technology ve put research article recent newspaper article found 1994 summary report found www project desktop tele operation www current www project tele garden recent publications 12 open problems industrial robotics students fieldwork 8 2 94 usc home page kang usc plan file rick wagner cs usc home page jeff wiegley wiegley usc plan file home page yu cs usc plan file yan usc plan file home page colin robinson usc home page robotics labs computer vision usc general robotics usc usc institute robotics intelligent systems nyu berkeley sandia archimedes assembly planning work penn columbia stanford university washington cmu umass umass robotics resource list img usc general information university pointers information computer science department research labs information contact goldberg usc


state transition analysis tool unix real time rule based intrusion detection system sunos4 1 solaris 2 background history phillip introduced concept stat master thesis stat expert system detects state transition table retrieve abstract thesis full text 2 postscript implemented stat real time intrusion detection system unix stat click abstract master thesis full text 1 2m postscript implementation runs sunos 4 makes sunos audit trail project supervision dr richard kemmerer current work jonathan wood ported solaris 2 investigating approaches distributed intrusion detection system system collect data multiple hosts network process data unified audit trail research directions include incorporating ids complement capabilities anomaly detection systems expanding auditing capabilities advantage extra information gleaned gathering audit data networked machines information contact cs ucsb kemm cs ucsb hotlist search back cs modified tue nov 7 14 08 12 pst 1995 jonathan wood


indiana university cyclotron controller description joint project indiana university cyclotron facility applies analog field computers real time controllers beam line simplicity rapid response changing conditions achieved digitally reconfigurable vlsi field computer analog computation path includes integrated simulator compute beam moments invasive beam position monitors prototype controller mosis faculty jonathan mills gerard allwein john collins graduate students students research area send mail jonathan mills gerry allwein affiliated projects iu visual inference laboratory support nsf physics cs multi disciplinary research program submitted information modern analog field computing related projects analog vlsi robotics laboratory return computer science research page


zeno cornell multimedia research group people mission projects papers software multimedia curricula development potpourri directions


virtual reality learning driving psychophysics virtual reality techniques create environments psychophysical experiments eye head hand tracking hardware virtual environments train virtual robots research representations techniques cooperative actions faculty dana ballard mary graduate students andrew mccallum jonas karlsson jeff staff tim becker change 24 feb 1995 ferguson george ferguson derek denny brown


psp group ut austin home page psp group department computer sciences university texas austin psp stands programs specifications proofs emphasis work group derive parallel distributed programs rigorous manner group supervised jayadev misra developed theories work research areas unity seuss current members group include jayadev misra adams al carruth ernie cohen graduated 1992 rajeev joshi markus kaltenbach graduated 1996 edgar knapp graduated 1992 jacob kornerup ingolf graduated 1996 rao graduated 1992 mark graduated 1992 publications summarize areas work give links papers electronically unity unity programming notation logic reason parallel distributed programs unity presented book misra chandy parallel program design foundation addison wesley 1988 notes unity series papers presenting results unity applications notes assumes basic understanding unity theory presented chandy misra book publication book improvements made theory reflected notes unity jayadev misra written manuscript book presents unity includes introduction temporal operator safety unity references references papers implementations markus kaltenbach writing symbolic model checker finite state unity programs called unity verifier uv al carruth extended unity logic include real time aspects computing hybrid systems notation synchronous parallel programs circuits data structure list length equal power operations balanced divisions lists parallel algorithms succinct presentation simple proofs powerlist notation jayadev misra paper structure parallel recursion presents notation numerous examples algorithms proofs correctness including fast fourier transform sorting network adams studied arithmetic circuits adders multipliers proved correct powerlist notation paper verifying adder circuits jacob kornerup studied powerlist programs mapped efficiently parallel architectures specially hypercubes list papers details seuss seuss work unity addresses issue program composition restricting program components interfere introduction seuss read overview seuss chapters monograph discipline multiprogramming written jayadev misra compiler seuss code pvm calls message communicating networks thesis experiment compiler design concurrent object based programming language ingolf ftp site papers found psp ftp site jacob kornerup


horus distributed computing environment kenneth birman ken cs cornell robbert van renesse rvr cs cornell cornell horus effort developed programming environment reliable distributed computing year horus demonstrate groupware fault tolerance high performance networks found offer higher performance similar systems features horus flexible software architecture applications pay features support virtually synchronous process groups technology developed prior work isis toolkit significant commercial success horus offers fault tolerant security privacy technology view important research advance 1995 extending horus provide extremely low latency high performance real time capabilities approach combines elements communication technology called active messages multi media playback system called continuous media end year expect demonstrate high speed interactive applications remote multimedia servers remote applications video demand systems retain existing fault tolerance security options horus virtual synchrony programming model prior work isis created substantial user base expect rapid horus community matures isis users span wide range industries including telecommunications systems financial trading systems stock market automation factory floor process control discrete electronic component manufacture air traffic control space based communications system management control applications isis explored branches military nsa military government branches visible military efforts naval project exploring isis system prototypes technologies future enhancements aegis battle radar system demanding applications user base benefit access horus initial plan make migrate isis applications horus benefiting community direct technology transition occured licensing agreements isis distributed systems subsidiary stratus computers cornell work researchers fee detailed publications programming manuals future hope mixture isis horus technologies permit develop demanding applications generation groupware planning systems illustration shows application military mission control planning system integrates data variety space air ground resources coordinate actions theatre assets systems sort demand utmost performance reliability security tolerating failures rapidly respond changing demands success project impact wide range civilian military technology efforts dept computer science cornell university ken cs cornell


computer science department wpi wpi artificial intelligence design group ai design group wpi involved years variety design related projects research devoted based systems maintain links ai design researchers worldwide research information captured ai design webliography design directory group meets week discuss research group members review papers discuss research issues members group involved artificial intelligence research group activities ai design group meeting time schedule semester wednesday location fl 141 coordinator prof david brown schedule topics scheduled mailing list cs subscribe mailing list receive announcements design information projects single function agents learning multi agent systems automated design system construction compilation design decomposition knowledge integration decompositions design knowledge analogy functional reasoning creativity design concurrent engineering support systems design critics technical reports technical reports group found general ai technical reports list ai design years ai design graduate offered ai design webliography sources information ai design wpi cs cs wpi wed aug 30 18 45 49 edt 1995


goal driven interactive explanation description explanations play fundamental role artificial intelligence tasks generating explanations remains difficult problem project studies goal driven interactive explanation approach explanation combines aspects goal driven learning case based reasoning guide real world explanation goal develop pragmatic process generating explanations model combines strategic decision making learn interaction dynamic environment faculty david leake graduate students raja support research supported start funds indiana university computer science department information cbr research indiana click return computer science research page


cise department circuitry computer network security research group cise department university florida involved numerous sponsored projects individual research ideas weekly discussions presentations held wednesday 12 30 room 305 cse building current research projects research personnel advise dr randy chow dr richard newman wolfe labor hsiao yang cheng chung wei lee marie powell sabina john jyh haw yeh jing zong links computer network security resources world wide web research direct input cise ufl electronic mail


computational intelligence research laboratory university oregon research focus basic questions artificial intelligence including search knowledge representation reasoning emphasis planning constraint satisfaction reasoning action physical devices laboratory faculty members participate computer information sciences department activities shared recreational activities laboratory financial support students fosters intimate relationship small group researchers working closely related areas graduate students supervise computational intelligence research laboratory committed students faculty members faculty david director matthew ginsberg david graduate students weiss ari jonsson bart massey andrew alumni andrew baker james crawford harvey joe research comprehensive overview introduction exiting areas research members contributing software software packages developed view demo test number satisfiability solvers problems choice download sources binaries solvers prefer download matt ginsberg inference engine documents related documents ll find interesting links ranging research papers members list publicly ai systems constraints archive archive part comp constraints archive faq maintained david ll find wide range topics current constraint related job openings tutorials publications people systems search engine contacts located research park eugene oregon usa information eugene found clicking address 1269 university oregon eugene usa 97403 1269 phone 1 541 346 fax 1 541 346 faculty contacted questions research agendas additional information university oregon computer science department including application materials potential graduate students obtained betty lockwood mail betty cs uoregon modified 8 27 96 weiss uoregon


logo computer visualization lab projects gruia catalin roman visualization parallel distributed systems computational biology computational geometry time critical computing interactive graphics applications people gruia catalin roman professor director eileen kraemer assistant professor subhash suri associate professor philip hubbard assistant professor james hu system manager delbert hart pete mccann amy murphy john wallis pictures sgi workstations macintosh workstations img img purpose goal computer visualization laboratory investigate methodologies integrating computing visual communication explore technologies make feasible fusion provide state art video production multimedia publication research instruction laboratory acquires promotes video visualization technology university research environment activities concurrent systems group equipment computer visualization laboratory unique broadcast quality video production facilities include sophisticated video camera panasonic video editing station capable recording images computer displays extensive video tape editing capabilities sgi workstations offer high performance graphic rendering capabilities accessed network order transfer images video tape editing macintosh computers form core expanding multimedia publication capability includes scanners photo quality color printer equipment list services growing number researchers taking advantage unique facilities existing laboratory pavane system offers sophisticated visualizations burden costly software development recent collaborations involve chemical engineering electrical engineering physics medicine projects pavane declarative visualization system query based visualization related work schedules html 3 2 checked modified mon jul 29 13 23 22 cdt 1996


sprite operating system address address pages http www cs berkeley projects sprite sprite research operating system developed university california berkeley john ousterhout research group sprite distributed operating system single system image cluster workstations high file system performance client server caching process migration advantage idle machines testbed research log structured file systems striped file systems crash recovery raid file systems things sprite project ended sprite running machines decstation 5000 200 sparcstation 2 running sprite sprite cd rom john ousterhout retrospective sprite project sprite papers papers sprite ftp sprite files ftp including source code brent welch sprite ftp site sprite network traces sosp 91 sprite group traced network file system operations sosp 91 paper measurements distributed file system information accessing trace data information traces sprite cd rom information purchasing sprite cd rom cd rom sprite source code documentation version sprite listing cdrom contents long brent welch notes booting sprite cd rom bug list os links references operating systems frequently asked questions comp os research home pages ken shirriff brent welch mary baker john ousterhout fred douglis accesses 3 26 96 visiting http www cs berkeley projects sprite ken shirriff ken shirriff eng sun


tim becker urcs technical staff member personal info bio common expressions img back urcs staff directory img back urcs home page


1129 img image motion analysis character animation control steve seitz chuck dyer research motivated problem teaching graphical model perform realistic motion problem roots art cartoon animation modern applications computer animation virtual reality teleconferencing robotics task graphical model knowledge perform repertoire interesting motions learned motions invoked directly high level cues smile walk inferred abstract goal store low level events virtual input device image sequence projects include analysis periodic motion tracking rigid objects


faster harder kill laboratory experimental software systems main objective research investigate ways build reliable high performance software parallel distributed systems laboratory experimental software systems part department computer sciences university texas austin research projects members lab seminar series sponsors modified december 12 1996 robert blumofe rdb cs utexas


mit leg laboratory leg lab mit artificial intelligence lab dedicated studying building legged locomotion specialists exploring roles balance dynamic control words robots run walk hop birds reasons pursuing research world accessable wheels true homes legged robots exploring inaccessible hazardous locations providing service places live work understanding humans animals walk interesting important research natural legged creatures model simulation real robots lots fun robots fun work pretty entertaining watch check videos real simulated robot web pages leg lab legged locomotion robots simulations publications people leg lab mit leg laboratory 545 technology square rm 006 cambridge ma 02139 usa phone 01 617 253 2475 recent update sept 24 1996 information comments contact www ai mit copyright mit leg laboratory rights reserved


parallel active database project active database project focussing high performance active rule trigger processing complex triggers parallel processing complex triggers envision conditions based events selections joins aggregates user defined functions built extended data types important form active rules detail triggers based geographic data project modifying paradise parallel relational dbms extended geographic data management capability paradise development university wisconsin project underway fall 1994 principal investigator eric hanson students working project include phd candidates al undergraduate albert vernon project funded grants global information solutions air force rome laboratory january 1996 talk proposed parallel trigger system design ms powerpoint format internal project information updated 10 22 96


rensselaer polytechnic institute choose link menu calendar design rationale research papers cscw resources rpi design minor acknowledgements jump design conference room media enhanced conference facility laboratory supporting multi disciplinary collaborative design ordinary conference room comfortable chairs large table plenty space spreading papers overhead projectors foremost difference computers supporting extension physical medium macintosh workstations buried side wings table center large color monitors visible glass panels central monitors show image users constitute public digital workspace user capable taking control unique collaboration network user view public workspace private workstation maintaining full visual contact session participants users access campus wide computing resources sessions remote login full resources internet world wide web netscape applications design conference room room 3211 center industrial innovation rensselaer polytechnic institute troy york 518 276 2242 info rpi november 1996 visitor design conference room built financial assistance national science foundation cise educational infrastructure grant cda improving software design development education technological innovation edwin rogers cs rpi cheryl rpi glinert glinert cs rpi david musser musser cs rpi ingalls principal investigators web site maintained lee rpi updated november 13 1996


3021 split uc berkeley cs division split parallel extension programming language supports efficient access global address space current distributed memory multiprocessors retains small language character supports careful engineering optimization programs providing simple predictable cost model stark contrast languages rely extensive program transformation compile time obtain performance parallel machines split programs programmer specifies compiler takes care addressing communication code generation ability exploit parallelism locality limited compiler recognition capability guess compiler transformations optimizing program language small set global access primitives simple parallel storage layout declarations capture elements shared memory message passing data parallel programming common familiar context split implemented thinking machines corp cm 5 intel paragon ibm sp 2 meiko cs 2 development cray t3d versions built free software foundation gcc message passing systems machine faster implementations underway meiko cs 2 elan libraries networks workstations active messages extensively teaching tool parallel computing courses hosts wide variety applications split viewed compilation target higher level parallel languages documentation split includes parallel programming split introduces language postscript version introduction split tutorial introduction split implementing split meiko cs 2 preliminary results split releases download split distribution platform meiko platforms added related projects include mantis parallel debugger applications include connected components sorting img back cs division home page


text front page interactive systems group human computer interaction department computer information science university oregon eugene oregon 97403 541 346 interests recent developments interactive computer technology greater importance basic research people applied engineering creating humanly compatible computer interfaces demand understanding research problem stimulated creation research program laboratories university links oregon interactive systems group valuable resource computer industrial community university computer information science department sign guestbook contact dr douglas information research additional information university oregon computer science department including application materials potential graduate students obtained betty lockwood mail betty cs uoregon text front page modified 2 12 96 peter cs uoregon


universities space automation robotics consortium unique infrastructure distributed robotics remote operations distributed simulation research object oriented protocol internet distributed laboratory consists sites universities texas university university texas austin ut arlington ut el paso rice university nasa johnson space center distributed laboratory configuration opportunity quantitatively study effects system components technologies telerobotic task performance successfully implemented demonstrated feb 1991 ability execute representative inspection manipulation tasks multiple control robot performance workload monitoring sites simultaneously connected operations carried routine basis process hardware software standards development identified current implementation basis link government industrial university facilities realize collaborative research development educational environment information research descriptions publications personnel lab information texas robotics group nasa jsc automation robotics division page construction send comments suggestions page sean graves sean cs tamu


cornell modeling simulation project enormous effort expended creating scientific software simulating physical systems defined complex geometries advanced computing hardware goal simlab project reduce effort bringing technologies geometric modeling symbolic mathematics numerical analysis compilation code generation formal methods create tools raise semantic level create scientific software overview project simlab software package selected research activities collaborative mathematics environments research proposal postscript version guaranteed quality mesh generation microstorage architecture weyl computer algebra substrate spl high level programming language synthesizing scientific software chains algebraic topological programming language selected presentations simlab component arpa nist madefast collaborative design manufacturing exercise longer version directions systems research richard zippel presentation ideas systems research proceed includes discussions communications microstorage architecture program transformations chains programming language language computing complex topological systems engineering models numerical algorithms rick palmer people selected publications reports paul chew chew cs cornell


img john guttag stephen mark group head principal research scientist research scientist larch project designed produce high quality computer systems practical application rigorous methods software hardware design development maintenance collaborating systems designers study methods decomposing designs modules defined interfaces behavior interfaces approach makes easier reason designs rely specifications examining implementations extensive set support tools important part larch tools lightweight quick easy supports programming data abstractions ansi detecting obvious conflicts code interface specifications tools require time expertise theorem proving system called lp instance supports reasoning order logic properties abstractions designs proofs designs created debugged maintained lp early design process find design flaws treats proving activity similar programming larch tools support incremental development work partial specifications larger specification investments larger analysis larch project increasingly involved design parallel distributed systems aim develop set abstractions implementation techniques producing concurrent interactive symbolic applications img img img


distributed information management systems university maryland project developing flexible distributed database architecture adjust wide range application system network properties work entails revisiting fundamental design decisions made current generations relational object oriented systems goal develop technology serve underpinnings generation high performance object relational database systems current efforts include client server query processing data query shipping interaction query execution caching integrated support associative navigational access semantic caching management client caches based query specifications query scrambling adaptive fly restructuring complex query execution plans cope unexpected delays wide area distributed information systems img img img project overview group members recent papers tart chun kuen shrimp custard tarts fried spring rolls img img img sponsors lab real thing siu mei cheung fun cha siu bau meat rice rolls barbecued pork updated aug 6 1996 franklin cs umd


distributed multimedia computing laboratory university texas austin distributed multimedia computing laboratory main objective research investigate wide range research issues area multimedia systems current research focuses design multimedia storage servers network transport protocols digital audio video multiresolution multimedia databases distributed multimedia computing laboratory part department computer sciences university texas austin sponsors research work carried distributed multimedia computing laboratory sponsored industrial federal institutions including foundation ibm intel national science foundation nasa microsoft mitsubishi electric research laboratory merl sun microsystems university texas austin table contents research agenda papers relevant technical reports list members call papers hear send comments suggestions multimedia cs utexas viewed browser


project news updates pertaining project project overview description project client tutorial information construct query server mail submit query server mail publications publications reports pertaining project online query server online team people project www archives related places web usage statistics weekly usage statistics web server send mail team info cs unc pleased hear comments suggestions project collaboration microelectronic systems laboratory university north carolina chapel hill mcnc research triangle park north carolina updated friday 17 1996 doug hoffman hoffman cs unc copyrighted 1995 1996 university north carolina chapel hill


vision laboratory university iowa work page construction hope number source information computer vision checking back material computer vision research university iowa computer science department primarily carried margaret fleck students laboratory share simulation group occasional projects puma robot arms cameras color sorts interesting equipment computer vision experimentation lab crowded make spacious picture wide angle photography computer vision handbook computer science research index research projects include finding pictures naked people image databases wide angle photography portable vision system project lisp vision utility package 1996 summer reu project distribution colors image databases marcus report louise report generally pointers hp information line bookstores libraries yahoo www index internet starting points margaret fleck main faculty member running vision group person contact additional information lab research projects dan stevenson harder reach phone faculty member doesn private office jointly maintain software system web pages easiest reach email page maintained margaret fleck dan stevenson views opinions expressed page strictly page author contents page approved division mathematical sciences college liberal arts university iowa modified wednesday 28 aug 96 19 09 45 cdt


collaboration bus sponsors darpa information technology office faculty prasun dewan hussein abdel wahab siddhartha chatterjee kevin jeffay john mchugh lars nyland jan prins john smith dave stotts students michele clark mike mohamed jon munson peter nee sharma description project address problem composing collaborative systems existing single user collaborative systems propose develop software abstraction called collaboration bus makes easy compose collaborative systems collaboration bus extensible infrastructure general definitions collaboration services default implementations services rules interconnecting services mechanisms extending set supported services set generic services supported bus include data model defining shared workspaces consisting structured objects user interface model shared objects manipulated user interfaces support text graphics audio video virtual reality coupling model enables users joint session share data user interface objects controls interactions ensure security consistency contraints violated migration replication mechanisms ensure bus bottleneck real time services consisting scheduling algorithms network protocols ensuring real time coupling collaborators collaborative session making users session aware previous work addressed heterogeneity problem domains software engineering operating systems database systems project extend research providing interconnection technology collaboration domain offer forms interoperability 1 inter service interoperability existing implementations collaboration services user interface real time services combined collaborative systems 2 intra service interoperability resolve inconsistencies competing instances service explicit implicit schemes creating joint sessions provided existing systems interoperate diagram illustrates capabilities collaboration bus click picture bigger version img concept collaboration bus requires general abstraction covers functionality existing collaborative systems bus define reference model captures similarities differences multiple solutions problem addition provide semantic translation dissimilar solutions problem coexist define composition functions service composed collaboration services finally bus bottleneck significantly increases response times users approach designing implementing evaluating bus identify services collaborative application requires identify reference model services identify semantics translations composition functions services incorporate bus default implementation service semantic translations composition functions develop mechanisms policies replicating parts bus develop mechanisms protecting operations bus carry interoperability experiments involving services state art existing software plans year identify potential clients collaboration bus scenarios clients interoperate characterize real time requirements collaborative virtual environments based initial experiments design version 1 collaboration bus include reference models semantic translations composition functions session management coupling virtual environments start java based implementation version 1 bus project information ic meeting talk postscript slide page works ic meeting talk postscript 4 slides page work gs print quad chart postscript project summary related links unc collaboration projects darpa intelligent visualization collaboration ic projects revised mon nov 11 17 36 55 est 1996 dewan cs unc


columbia database research group computer science department columbia university heavy construction watch step head principal investigator dr kenneth ross group overview personnel research activities publications classes projects links number visitors hui lei columbia database research group lei cs columbia


etag 534 content length 1332 accept ranges bytes artificial muscle project mit artificial intelligence laboratory effort linear actuators based polymer characteristics similar human muscle img img img img


research ubiquitous telepresence ut project statement main idea ubiquitous telepresence ut users project physical presence internet specifically users ability explore interact remote physical environments sites internet remote sensing manipulation devices plan implementing ubiquitous telepresence build robotic remote controlled units called low cost ubiquitous television sets ut project participants michael doherty matthew greene david keaton carlos christian matthew william waite pi benjamin zorn pi department computer science university colorado participants cook jonathan cook ut group publications ubiquitous telepresence benjamin zorn draft 3 18 96 document work progress comments html version ut research group research group meets wednesday 3 4pm 831 notes meeting 3 13 96 reading group materials announcement world wide web telerobotic remote environment browser paulos canny computer controlled devices reach internet ronald vetter ieee computer pages 66 67 december 1995 simple networked interface full functionality laboratory equipment terrence kelly http www cs princeton september 1995 mark weiser computer science problems ubiquitous computing communications acm july 1993 reprinted ubiquitous computing electronics december 6 1993 pp 137 143 reading 2 14 96 kaplan keshav internet accessible telepresence submitted multimedia systems journal 1995 ken goldberg michael steven gentner juergen nick rothenberg carl jeff wiegley web real world mosaic international www conference chicago il oct 17 21 1994 links related pages existing ubiquitous telepresence projects dial ride internet alan kaplan keshav norm john tns video rover bose telemedia networks systems group mit web blimp eric paulos john canny uc berkeley mechanical gaze eric paulos john canny uc berkeley project eduardo university kentucky ed bennett art institute chicago interface project garnet hertz www tele garden ken goldberg usc uc berkeley joseph uc irvine mercury project robotic tele excavation ken goldberg usc uc berkeley michael usc project princeton terrence kelly xavier internet mobile robot camera learning robot lab cmu remote controlled camera web norway university western australia web controlled camera carleton university ut related projects berkeley group indices mechanical devices web yahoo list interesting devices connected net web oddities reviews anthony list internet accessible machines rick search net mike doherty collection courses telepresence ubiquitous computing ben shneiderman virtual reality telepresence univ maryland telepresence ubiquitous computing research groups telepresence research group unc gary bishop ubiquitous computing mark weiser ontario telepresence project media spaces links related pages telerobotics nasa space telerobotics home page telerobotics teleoperation telepresence research compiled michael information technology standards information infrastructure standards panel video www vosaic system system research group dept cs uiuc perceptual robotics ubiquitous vision home page quickcam developers program video phone inexpensive robot kits rcs 6 robot construction kit embedded systems information pc 104 systems digital video manipulation image processing personal animation recorder dr 2100 cognex corporation vision system scan imaging software analytical instruments khoros software development environment isis image processing tools reducing www latency bandwidth requirements real time armando fox eric brewer university california berkeley international world wide web conference 6 10 1996 paris france page maintained ben zorn zorn cs colorado


design automation laboratory design automation laboratory consists faculty members graduate undergraduate students pursuing research area tools methodologies vlsi design applications faculty students research projects publications pointers interesting iccad da sites academic research vlsi cad department cse visitor number visit homepage march 14 1996 cse


oregon state system higher education nero distance learning project home page introduction nero distance learning project attempt bring students faculty campuses oregon state system higher education geographically dispersed collaborative learning exercise students situated university oregon eugene oregon state university corvallis portland state university portland oregon graduate institute beaverton work summer 1994 software engineering projects related pages 610 summer 1994 registration prototype evaluation system demo interview transcripts sample elaboration schedule rationale demonstration rough outline ken slide show mosaic related pages information mosaic mosaic tests html documentation mosaic wais tutorial cs uoregon ted cs uoregon


img spin cs washington spin operating system spin extensible operating system kernel supports dynamic adaptation system interfaces implementations direct application control maintaining system integrity inter application isolation spin applications load code kernel runtime runs kernel extension code access hardware operating systems services overhead basically procedure call data passed reference copied spin kernel core set interfaces capabilities basic resources collections extensions implement general system services address spaces ipc threads networking extension code kernel written language modula 3 property prevents extensions crashing system attempting manipulate arbitrary pieces code data spin runs dec alpha workstations write specialized applications network video systems supporting general purpose unix programs connect machine running spin kernel spin web server quick results structure programs extend operating system services low overhead spin running 133 mhz alpha application handle recover page fault 29 microseconds takes 22 microseconds create thread control execute terminate synchronize termination fork join protected procedure call extension kernel function takes 13 microseconds cross machine rpc application application ethernet takes 600 microseconds atm adapters takes 450 microseconds operations mach dec unix 30 times longer hardware time benchmarks page save effort recent reports papers dynamic binding extensible operating systems invocation mechanism flexible efficient simple integrating extensions executing system appeared 2nd osdi extensibility safety performance spin operating system design implementation performance paper appeared 15th sosp extensible protocol architecture application specific networking design implementation performance paper appeared 1996 usenix winter conference writing operating system modula 3 describes experiences modula 3 build high performance extensible system makes clear distinction language implementation language support extensible operating systems ve pretty happy m3 ve deal shortcomings order language safe extensible operating system paper describes ve addressed shortcomings safe dynamic linking extensible operating system describes dynamic linker load code kernel key point ability create manage linkable namespaces describe interfaces collections interfaces language runtime support dynamic interposition system code describes kernel internal communication extension facilities shows dynamic code generation improve performance critical kernel service information dynamic compilation waiting run time compile code paper trail project reports talks papers project members benchmarks interested bottom line modula 3 information modula 3 arpa project overview executive summary regular reports friends ve lot assistance academia industry project page involved related projects pointers extensible systems projects people arrows internal documentation latest status project members projects projects result qualifications credit masters degree funded position undergraduate project credit uw cs mascot encouraged people decided adopt mascot page maintained brian bershad bershad cs washington


computational vision lab eyes logo school computing science fax 604 291 3045 simon fraser university email cs sfu ca burnaby v5a 1s6 canada physical location asb sfu centre systems science affiliated laboratory members computational vision lab sfu conduct research machine vision image processing emphasis computational models colour vision dr brian director lab overview images automated gesture tracking computational vision thought enabling computers visual information problems artificial intelligence people easily barely complex problem machine primary focus vision lab sfu understanding colour perceived reproduced accurately media ways colour understanding images understanding colour difficult problem people suspect poor colour rendition results limited understanding colour perception limitations colour producing devices subscribe computational view colour human perception colour explored explained computations fundamental problem colour explain stable fact light reflected eyes object varies dramatically light illuminating object colour computers intertwined recent years colour displays colour printers affordable colour perceptual physical quality crucial good model perceive colour complex environments predictable results devices difficult reproduce correctly ve experienced colour home video cameras viewing prints local colour printers frustrating nice previewed colour doesn natural feel printer monitor calibrated properly fundamental problem fundamental problem stems fact colour reproduction simply matter reproducing identical physical phenomena case sound reproduction similar pattern sound waves recreated matter creating perceptual equivalences build machines reproduce accurately make effective colour robotics requires understand human colour perception decade produced interesting computational theories colour coming computer science psychology central concern theories describe colour depends depend incident illumination surface shine light spectrum reflected light depends product spectrum incident light spectrum surface reflectance natural surface colour feature surface spectrum light energy reaching eye factors illumination reflectance order determine true surface properties effect illumination account colour correction results correction results upper left image scene light effect turning background overly green bit yellow bottom target image scene standard illumination camera calibrated control illumination goal correct automatically input image target image fuzziness images due high jpeg compression factor concentrate top corrected image produced standard grey world colour balancing algorithm assumes average scene grey bottom left result produced sophisticated algorithm developed vision lab result algorithm closer target image produced grey world algorithm menubar links dynamic simon fraser university sfu computing science site home page home page index text links lab members publications line mail feedback links interest page maintained michael brockington sfu ca 1996