Sciweavers

14382 search results - page 71 / 2877
» Time in Connectionist Models
Sort
View
PAMI
2010
113views more  PAMI 2010»
14 years 12 months ago
Hierarchical Bayesian Modeling of Topics in Time-Stamped Documents
—We consider the problem of inferring and modeling topics in a sequence of documents with known publication dates. The documents at a given time are each characterized by a topic...
Iulian Pruteanu-Malinici, Lu Ren, John William Pai...
ICRA
2002
IEEE
160views Robotics» more  ICRA 2002»
15 years 6 months ago
Real Time Simulation of Multizone Elastokinematic Models
— We introduce precomputed multizone elastokinematic models for interactive simulation of multibody kinematic systems which include elastostatic deformations. This enables an e...
Doug L. James, Dinesh K. Pai
BMCBI
2004
121views more  BMCBI 2004»
15 years 1 months ago
Asynchronous adaptive time step in quantitative cellular automata modeling
Background: The behaviors of cells in metazoans are context dependent, thus large-scale multicellular modeling is often necessary, for which cellular automata are natural candidat...
Hao Zhu, Peter Y. H. Pang, Yan Sun, Pawan Dhar
ICSE
1998
IEEE-ACM
15 years 5 months ago
Modeling and Analysis of a Virtual Reality System with Time Petri Nets
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
Rajesh Mascarenhas, Dinkar Karumuri, Ugo A. Buy, R...
FM
2005
Springer
114views Formal Methods» more  FM 2005»
15 years 7 months ago
Systematic Implementation of Real-Time Models
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
Martin De Wulf, Laurent Doyen, Jean-Françoi...