32117 search results - page 6244 / 6424 » Design for Unanticipated Use.. |
164
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
165
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
Based on the Antibody Clonal Selection Theory of immunology, we put forward a novel clonal selection algorithm for multiuser detection in Code-division Multiple-access Systems. By...
192
click to vote
GI
2005
Springer
15 years 12 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
159
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Computational Grids potentially offer cheap large-scale high-performance systems, but are a very challenging architecture, being heterogeneous, shared and hierarchical. Rather tha...
172
click to vote
ICMI
2005
Springer
15 years 12 months ago
2005
Springer
This article presents a User Interface (UI) framework for multimodal interactions targeted at immersive virtual environments. Its configurable input and gesture processing compon...