4460 search results - page 686 / 892 » Formal methods for interactive systems |
162
click to vote
WSCG
2003
15 years 5 months ago
2003
Computer-aided analysis of four-dimensional tomography data has become an important tool in modern cardiology. In order to examine the capability and health of a patient’s cardi...
138
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
We build a comprehensive macro-learning system and contribute in three different dimensions that have previously not been addressed adequately. Firstly, we learn macro-sets conside...
125
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
Some recent studies have pointed that , the self-organization of neurons into brain-like structures, and the self-organization of ants into a swarm are similar in many respects. I...
153
click to vote
CACM
2000
15 years 4 months ago
2000
With the explosive growth of embedded computing hardware, it is possible to conceive many new networked robotic applications for diverse domains ranging from urban search and resc...
129
click to vote
SG
2010
Springer
15 years 2 months ago
2010
Springer
Like many natural phenomenon, clouds are often modeled using procedural methods, which may be difficult for an artist to control. In this paper, a freehand sketching system is prop...