4460 search results - page 665 / 892 » Formal methods for interactive systems |
120
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Stigmergy is usually associated with semantically simple problems such as routing. It can be applied to more complex problems by encoding them in the environment through which sti...
133
Voted
KES
2004
Springer
15 years 10 months ago
2004
Springer
A "chance" is an event or a situation significant for making a decision in a complex environment. Since we organized a session of Chance Discovery in KES 2000, the basic...
165
Voted
SPIRE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract Searching information resources using mobile devices is affected by displays on which only a small fraction of the set of ranked documents can be displayed. In this study ...
137
click to vote
VISUALIZATION
2003
IEEE
15 years 10 months ago
2003
IEEE
Segmentation of structures from measured volume data, such as anatomy in medical imaging, is a challenging data-dependent task. In this paper, we present a segmentation method tha...
159
click to vote
WSCG
2003
15 years 6 months ago
2003
Simulations for training and analysis incorporating haptic feedback are becoming more popular and the sophistication of these simulations is increasing. Many systems now allow a r...