Sciweavers

727 search results - page 43 / 146
» Finite Resolution Dynamics
Sort
View
ESOP
2001
Springer
15 years 5 months ago
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...
Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-G...
IJRR
2008
67views more  IJRR 2008»
15 years 21 days ago
Sampling-based Falsification and Verification of Controllers for Continuous Dynamic Systems
: In this paper, we present a sampling-based verification algorithm for continuous dynamic systems with uncertainty due to adversaries, unmodeled disturbance inputs, unknown parame...
Peng Cheng, Vijay Kumar
98
Voted
CGI
2004
IEEE
15 years 4 months ago
Real-Time Dynamic Wrinkles
This paper proposes a new method for designing dynamic wrinkles that appear and disappear according to the underlying deformation of tissues. The user positions and orients wrinkl...
Caroline Larboulette, Marie-Paule Cani
105
Voted
JBI
2008
127views Bioinformatics» more  JBI 2008»
15 years 21 days ago
Infrastructure for dynamic knowledge integration - Automated biomedical ontology extension using textual resources
We present a novel ontology integration technique that explicitly takes the dynamics and data-intensiveness of e-health and biomedicine application domains into account. Changing ...
Vít Novácek, Loredana Laera, Siegfri...
SIBGRAPI
2006
IEEE
15 years 6 months ago
Adapted Dynamic Meshes for Deformable Surfaces
Deformable objects play an important role in many applications, such as animation and simulation. Effective computation with deformable surfaces can be achieved through the use of...
Fernando de Goes, Felipe P. G. Bergo, Alexandre X....