96 search results - page 13 / 20 » Minerva: An Artificial Intelligent System for Composition of... |
BEHAVIOURIT
2011
13 years 2 months ago
2011
The research presented in this paper reports on three phases of an empirical user study that examines the relationship between identity and technology using contextual interviews,...
TWC
2010
13 years 2 months ago
2010
Optimized opportunistic multicast scheduling (OMS) is studied for cellular networks, where the problem of efficiently transmitting a common set of fountain-encoded data from a sin...
APN
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
APN
2010
Springer
14 years 5 days ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
AIIDE
2006
13 years 8 months ago
2006
Automated camera control has been an active area of research for a number of years. The problem has been addressed in the Graphics, AI and Game communities from different perspect...