799 search results - page 148 / 160 » Refinement and Separation Contexts |
ICCS
2004
Springer
15 years 2 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
SIGIR
2003
ACM
15 years 2 months ago
2003
ACM
Following the tradition of these acceptance talks, I will be giving my thoughts on where our field is going. Any discussion of the future of information retrieval (IR) research, h...
114
click to vote
DAGM
2003
Springer
15 years 2 months ago
2003
Springer
We introduce a computational model of sensor fusion based on the topographic representations of a ”two-microphone and one camera” configuration. Our aim is to perform a robust...
DIGRA
2003
Springer
15 years 2 months ago
2003
Springer
Communication between players in networked computer games is often inadequately implemented. The games do not exploit the full potential of using different forms of communication ...
104
click to vote
ACSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
Active Spaces are physical spaces augmented with heterogeneous computing and communication devices along with supporting software infrastructure. This integration facilitates coll...