Sciweavers

4061 search results - page 267 / 813
» The Dynamics of Change
Sort
View
CAV
1997
Springer
202views Hardware» more  CAV 1997»
15 years 11 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
ECOOP
2007
Springer
16 years 26 days ago
Towards Runtime Adaptation in a SOA Environment
Service Oriented Architecture (SOA) promotes the utilization of available services to develop completely new applications in a context which has not been foreseen as these services...
Florian Irmert, Marcus Meyerhöfer, Markus Wei...
ARGMAS
2005
Springer
16 years 7 days ago
How Agents Alter Their Beliefs After an Argumentation-Based Dialogue
In our previous work on dialogue games for agent interaction, an agent’s set of beliefs (Σ) and an agent’s “commitment store” (CS) — the set of locutions uttered by the ...
Simon Parsons, Elizabeth Sklar
ICCV
2007
IEEE
16 years 8 months ago
Optimization and Learning for Registration of Moving Dynamic Textures
We address the problem of registering a sequence of images in a moving dynamic texture video. This involves optimization with respect to camera motion, the average image, and the ...
Junzhou Huang, Xiaolei Huang, Dimitris N. Metaxas
STACS
1999
Springer
15 years 11 months ago
Lower Bounds for Dynamic Algebraic Problems
Abstract. We consider dynamic evaluation of algebraic functions (matrix multiplication, determinant, convolution, Fourier transform, etc.) in the model of Reif and Tate; i.e., if f...
Gudmund Skovbjerg Frandsen, Johan P. Hansen, Peter...