Sciweavers

727 search results - page 43 / 146
» Finite Resolution Dynamics
Sort
View
118
Voted
ESOP
2001
Springer
15 years 7 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...
110
Voted
IJRR
2008
67views more  IJRR 2008»
15 years 2 months 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
109
Voted
CGI
2004
IEEE
15 years 6 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
JBI
2008
127views Bioinformatics» more  JBI 2008»
15 years 2 months 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...
127
Voted
SIBGRAPI
2006
IEEE
15 years 8 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....