Sciweavers

4959 search results - page 382 / 992
» Evolution maps and applications
Sort
View
JNS
2008
76views more  JNS 2008»
15 years 7 months ago
Discrete Nonholonomic Lagrangian Systems on Lie Groupoids
This paper studies the construction of geometric integrators for nonholonomic systems. We derive the nonholonomic discrete Euler-Lagrange equations in a setting which permits to de...
David Iglesias, Juan C. Marrero, David Martí...
ENTCS
2007
104views more  ENTCS 2007»
15 years 7 months ago
Exogenous Probabilistic Computation Tree Logic
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan,...
ICPR
2010
IEEE
15 years 5 months ago
Estimating Apparent Motion on Satellite Acquisitions with a Physical Dynamic Model
The paper presents a motion estimation method based on data assimilation in a dynamic model, named Image Model, expressing the physical evolution of a quantity observed on the ima...
Etienne G. Huot, Isabelle Herlin, Nicolas Mercier,...
PVLDB
2010
129views more  PVLDB 2010»
15 years 5 months ago
Entity Resolution with Evolving Rules
Entity resolution (ER) identifies database records that refer to the same real world entity. In practice, ER is not a one-time process, but is constantly improved as the data, sc...
Steven Whang, Hector Garcia-Molina
SCP
2010
96views more  SCP 2010»
15 years 5 months ago
Enforcing structural regularities in software using IntensiVE
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
Johan Brichau, Andy Kellens, Sergio Castro, Theo D...