Sciweavers

1908 search results - page 143 / 382
» Capability Models and Their Applications in Planning
Sort
View
ASM
2010
ASM
15 years 6 months ago
Matelas: A Predicate Calculus Common Formal Definition for Social Networking
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
Néstor Cataño, Camilo Rueda
WSC
2007
15 years 8 months ago
Enabling smooth and scalable dynamic 3d visualization of discrete-event construction simulations in outdoor augmented reality
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...
Amir H. Behzadan, Vineet R. Kamat
SIGOPS
2010
163views more  SIGOPS 2010»
15 years 1 months ago
Automated control of internet services
Finding an efficient configuration for cluster-based multi-tier Internet services is often a difficult task. Moreover, even a good configuration could become obsolete, depending o...
Jean Arnaud
MICCAI
2005
Springer
16 years 7 months ago
Simulating Vascular Systems in Arbitrary Anatomies
Better physiological understanding of principles regulating vascular formation and growth is mandatory to their efficient modeling for the purpose of physiologically oriented medi...
Dominik Szczerba, Gábor Székely
SIGDIAL
2010
15 years 1 months ago
Towards Incremental Speech Generation in Dialogue Systems
We present a first step towards a model of speech generation for incremental dialogue systems. The model allows a dialogue system to incrementally interpret spoken input, while si...
Gabriel Skantze, Anna Hjalmarsson