Sciweavers

2902 search results - page 348 / 581
» Simple Local Models for Complex Dynamical Systems
Sort
View
CVPR
1998
IEEE
16 years 5 months ago
Incorporating Illumination Constraints in Deformable Models
In this paper we present a method for the integration of nonlinear holonomic constraints in deformable models and its application to the problems of shape and illuminant direction...
Dimitris Samaras, Dimitris N. Metaxas
APSEC
2001
IEEE
15 years 7 months ago
Formal Specification of Mixed Components with Korrigan
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
Christine Choppy, Pascal Poizat, Jean-Claude Royer
139
Voted
ATAL
2005
Springer
15 years 8 months ago
On the dynamics of delegation, cooperation, and control: a logical account
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
Wiebe van der Hoek, Michael Wooldridge
141
Voted
SIGMETRICS
2012
ACM
197views Hardware» more  SIGMETRICS 2012»
13 years 5 months ago
Fluid limit of an asynchronous optical packet switch with shared per link full range wavelength conversion
We consider an asynchronous all optical packet switch (OPS) where each link consists of N wavelength channels and a pool of C ≤ N full range tunable wavelength converters. Under...
Benny Van Houdt, Luca Bortolussi
CAEPIA
2003
Springer
15 years 6 months ago
Embracing Causality in Inducing the Effects of Actions
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
Ramón P. Otero