Sciweavers

9425 search results - page 321 / 1885
» Some Notes on Models and Modelling
Sort
View
AAAI
2010
15 years 5 months ago
The Model-Based Approach to Autonomous Behavior: A Personal View
The selection of the action to do next is one of the central problems faced by autonomous agents. In AI, three approaches have been used to address this problem: the programming-b...
Hector Geffner
TABLEAUX
2009
Springer
15 years 11 months ago
Tableaux and Model Checking for Memory Logics
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
Carlos Areces, Diego Figueira, Daniel Gorín...
CDC
2008
IEEE
101views Control Systems» more  CDC 2008»
15 years 11 months ago
Modeling and control of the heart left ventricle supported with a rotary assist device
—A Rotary Left Ventricular Assist Device (RLVAD) is a mechanical pump implanted in patients with congestive heart failure to assist their left ventricle in pumping blood through ...
Marwan A. Simaan
CMSB
2007
Springer
15 years 10 months ago
Expressive Models for Synaptic Plasticity
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...
Andrea Bracciali, Marcello Brunelli, Enrico Catald...
RTAS
2006
IEEE
15 years 10 months ago
Scalable Modeling and Performance Evaluation of Wireless Sensor Networks
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...
YoungMin Kwon, Gul Agha