5451 search results - page 578 / 1091 » Typed Operational Semantics |
205
click to vote
ISBI
2007
IEEE
16 years 1 months ago
2007
IEEE
Quantification and visualization of anatomical shape variability in different populations is essential for diagnosis and tracking progression of diseases. We present a new 3D med...
211
click to vote
NOSSDAV
2004
Springer
16 years 6 days ago
2004
Springer
We are developing a distributed architecture for massivelymultiplayer games. In this paper, we focus on designing a low-latency event ordering protocol, called NEO, for this archi...
183
Voted
ICAT
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper presents a new type of wearable telepresence system that is applicable to the control of a humanoid robot. The system consists of self-contained computing hardware with...
182
click to vote
CAISE
2003
Springer
16 years 3 days ago
2003
Springer
we propose a repository to characterize OO evolution problematic. The two main objectives are to characterize object evolution according to its own features, and to uniformly analy...
185
Voted
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...