3993 search results - page 650 / 799 » Matchmaking for Structured Objects |
124
Voted
SIGGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
Large scale fluid simulation can be difficult using existing techniques due to the high computational cost of using large grids. We present a novel technique for simulating deta...
112
Voted
ICSE
2001
IEEE-ACM
15 years 7 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
127
click to vote
MICCAI
2001
Springer
15 years 7 months ago
2001
Springer
Assessment of normal and abnormal anatomical variability requires a coordinate system enabling inter-subject comparison. We present a binary minimum entropy criterion to assess af...
115
click to vote
MIDDLEWARE
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...
124
click to vote
TACS
2001
Springer
15 years 7 months ago
2001
Springer
We give a logic programming language based on Fiore, Plotkin and Turi’s binding algebras. In this language, we can use not only first-order terms but also terms involving variab...