Sciweavers

710 search results - page 113 / 142
» Relational Expressive Power of Constraint Query Languages
Sort
View
EDBT
2009
ACM
162views Database» more  EDBT 2009»
14 years 2 months ago
A data model for trip planning in multimodal transportation systems
This paper introduces the problem of modeling urban transportation systems in a database where certain aspects of the data are probabilistic in nature. The transportation network ...
Joel Booth, A. Prasad Sistla, Ouri Wolfson, Isabel...
CONCUR
2008
Springer
13 years 9 months ago
Towards a Unified Approach to Encodability and Separation Results for Process Calculi
In this paper, we present a unified approach to evaluating the relative expressive power of process calculi. In particular, we identify a small set of criteria (that have already b...
Daniele Gorla
IVA
2010
Springer
13 years 6 months ago
Realizing Multimodal Behavior - Closing the Gap between Behavior Planning and Embodied Agent Presentation
Abstract. Generating coordinated multimodal behavior for an embodied agent (speech, gesture, facial expression. . . ) is challenging. It requires a high degree of animation control...
Michael Kipp, Alexis Heloir, Marc Schröder, P...
VIS
2009
IEEE
215views Visualization» more  VIS 2009»
14 years 9 months ago
Iconizer: A Framework to Identify and Create Effective Representations for Visual Information Encoding
concept form search query vision confirm consensus refine search query graphics VIE-designer image objects image objects Visual Sign (VIE) run search query words images Iconizer:...
Supriya Garg, Tamara Berg, Klaus Mueller
CLIMA
2007
13 years 9 months ago
EVOLP: Tranformation-Based Semantics
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
Martin Slota, João Leite