Sciweavers

1546 search results - page 270 / 310
» Context-Aware Computing with Sound
Sort
View
CSL
2010
Springer
15 years 5 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
AIPS
2010
15 years 4 months ago
A New Approach to Conformant Planning Using CNF*
In this paper, we develop a heuristic, progression based conformant planner, called CNF, which represents belief states by a special type of CNF formulae, called CNF-states. We de...
Son Thanh To, Tran Cao Son, Enrico Pontelli
LDTA
2010
15 years 4 months ago
Embedding a web-based workflow management system in a functional language
Workflow management systems guide and monitor tasks performed by humans and computers. The workflow specifications are usually expressed in special purpose (graphical) formalisms....
Jan Martin Jansen, Rinus Plasmeijer, Pieter W. M. ...
MM
2010
ACM
123views Multimedia» more  MM 2010»
15 years 4 months ago
Coming together: negotiated content by multi-agents
In this paper, we describe a software system that generates unique musical compositions in realtime, created by four autonomous multi-agents. Given no explicit musical data, agent...
Arne Eigenfeldt
MM
2010
ACM
182views Multimedia» more  MM 2010»
15 years 4 months ago
Joke-o-Mat HD: browsing sitcoms with human derived transcripts
Joke-o-mat HD is a system that allows a user to navigate sitcoms (such as Seinfeld) by "narrative themes", including scenes, punchlines, and dialog segments. The themes ...
Adam Janin, Luke R. Gottlieb, Gerald Friedland