Sciweavers

1255 search results - page 98 / 251
» A Proof Environment for the Development of Group Communicati...
Sort
View
CSL
2010
Springer
13 years 10 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
BILDMED
2007
142views Algorithms» more  BILDMED 2007»
13 years 10 months ago
Interfacing Global and Local CBIR Systems for Medical Image Retrieval
Abstract. Contemporary picture archiving and communication systems are limited in managing large and varied image collections, because content-based image retrieval (CBIR) methods ...
Sameer Antani, Thomas Martin Deserno, L. Rodney Lo...
SAC
1998
ACM
14 years 1 months ago
Applying videogame technologies to video conferencing systems
We have developed a desktop meeting environment named FreeWalk that supports casual meetings in a 3-dimensional (3D) virtual shared space, community common. Tools for human commun...
Toshikazu Nishimura, Hideyuki Nakanishi, Chikara Y...
MSS
2000
IEEE
100views Hardware» more  MSS 2000»
14 years 1 months ago
Project 1244: IEEE Storage System Standards
Approaching its tenth anniversary, the IEEE Storage System Standards effort is in the process of balloting Media Management System (MMS) standards. These represent the first stand...
John L. Cole
IWMM
1992
Springer
100views Hardware» more  IWMM 1992»
14 years 1 months ago
Scalable Distributed Garbage Collection for Systems of Active Objects
Abstract. Automatic storage management is important in highly parallel programming environments where large numbers of objects and processes are being constantly created and discar...
Nalini Venkatasubramanian, Gul Agha, Carolyn L. Ta...