2905 search results - page 274 / 581 » Formal Memetic Algorithms |
OZCHI
2006
ACM
15 years 5 months ago
2006
ACM
The HCI community currently faces the problem of making tangible user interfaces actively responsive to their user’s current physical context. This paper explores the context of...
SYNASC
2005
IEEE
15 years 4 months 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 ...
82
Voted
IUI
2005
ACM
15 years 4 months ago
2005
ACM
A new generation of intelligent applications can be enabled by broad-coverage knowledge repositories about everyday objects. We distill lessons in design of intelligent user inter...
118
click to vote
EPIA
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
SAFECOMP
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...