Sciweavers

4385 search results - page 341 / 877
» Abstraction for Concurrent Objects
Sort
View
NIPS
2000
15 years 8 months ago
A Productive, Systematic Framework for the Representation of Visual Structure
We describe a unified framework for the understanding of structure representation in primate vision. A model derived from this framework is shown to be effectively systematic in t...
Shimon Edelman, Nathan Intrator
OTM
2010
Springer
15 years 4 months ago
Towards Duplicate Detection for Situation Awareness Based on Spatio-temporal Relations
Abstract. Systems supporting situation awareness typically integrate information about a large number of real-world objects anchored in time and space provided by multiple sources....
Norbert Baumgartner, Wolfgang Gottesheim, Stefan M...
ML
2006
ACM
16 years 21 days ago
ML grid programming with ConCert
Grid computing has become increasingly popular with the growth of the Internet, especially in large-scale scientific computation. Computational Grids are characterized by their s...
Tom Murphy VII
COOPIS
2003
IEEE
16 years 22 hour ago
Analysing Mailboxes of Asynchronous Communicating Components
Abstract. Asynchronous communications are prominent in distributed and mobile systems. Often consystems consider an abstract point of view with synchronous communications. However ...
Jean-Claude Royer, Michael Xu
KBSE
2003
IEEE
16 years 3 hour ago
Automated Environment Generation for Software Model Checking
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasare...