Sciweavers

7192 search results - page 1202 / 1439
» Interactive Simulation and Visualization
Sort
View
ISBI
2006
IEEE
16 years 7 months ago
Cancer disease: integrative modelling approaches
Cancer is a complex disease in which a variety of phenomena interact over a wide range of spatial and temporal scales. In this article a theoretical framework will be introduced t...
Helen M. Byrne, Markus R. Owen, Tomas Alarcó...
WWW
2006
ACM
16 years 7 months ago
Towards content trust of web resources
Trust is an integral part of the Semantic Web architecture. Most prior work on trust focuses on entity-centered issues such as authentication and reputation and does not take into...
Yolanda Gil, Donovan Artz
CAV
2009
Springer
119views Hardware» more  CAV 2009»
16 years 7 months ago
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
Eric Goubault, Franck Védrine, Karim Tekkal...
PADL
2010
Springer
16 years 3 months ago
Prospective Storytelling Agents
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
Gonçalo Lopes, Luís Moniz Pereira
HAPTICS
2009
IEEE
16 years 1 months ago
Passive set-position modulation approach for haptics with slow, variable, and asynchronous update
We consider the following problem in haptics: information update from the virtual world is slow w.r.t. the local servo-loop rate of the haptic device, and the information transmis...
Dongjun Lee, Ke Huang
« Prev « First page 1202 / 1439 Last » Next »