Sciweavers

6042 search results - page 210 / 1209
» Repeated Observation Models
Sort
View
FMSB
2008
199views Formal Methods» more  FMSB 2008»
15 years 6 months ago
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu...
156
Voted
ECAI
2010
Springer
15 years 6 months ago
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...
Xiaowei Huang, Ron van der Meyden
AI
2007
Springer
15 years 5 months ago
Multi-agent learning and the descriptive value of simple models
Behavioral research suggests that human learning in some multi-agent systems can be predicted with surprisingly simple “foresight-free” models. The current note discusses the ...
Ido Erev, Alvin E. Roth
131
Voted
CORR
2008
Springer
87views Education» more  CORR 2008»
15 years 5 months ago
Identification of Test Structures for Reduced Order Modeling of the Squeeze Film Damping in Mems
In this study the dynamic behaviour of perforated microplates oscillating under the effect of squeeze film damping is analyzed. A numerical approach is adopted to predict the effe...
Aurelio Somà, Giorgio De Pasquale
CVPR
2004
IEEE
16 years 7 months ago
Hybrid Textons: Modeling Surfaces with Reflectance and Geometry
The appearance of surface texture as it varies with angular changes of view and illumination is becoming an increasingly important research topic. The bidirectional texture functi...
Jing Wang 0008, Kristin J. Dana