3844 search results - page 579 / 769 » Modular interpreted systems |
142
click to vote
SYNASC
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
187
click to vote
CICLING
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we present a plug and play dialogue system for smart environments. The environment description and its state are stored on a domain ontology. This ontology is formed ...
147
click to vote
HUC
2004
Springer
15 years 12 months ago
2004
Springer
We present a study of people’s use of positional information as part of a collaborative location-based game. The game exploits self-reported positioning in which mobile players m...
178
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
149
click to vote
ICMI
2003
Springer
15 years 11 months ago
2003
Springer
If user interfaces should be made human-like vs. tool-like has been debated in the HCI field, and this debate affects the development of multimodal interfaces. However, little emp...