Sciweavers

9504 search results - page 61 / 1901
» Dynamic Substitution Model
Sort
View
LOGCOM
2010
120views more  LOGCOM 2010»
13 years 2 months ago
Paraconsistent Machines and their Relation to Quantum Computing
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
Juan C. Agudelo, Walter Alexandre Carnielli
COLING
2000
13 years 9 months ago
A Dynamic Language Model Based on Individual Word Domains
We present a new statistical language model based on a Colnbination of individual word language models. Each word model is built from an individual corpus which is formed by extra...
Elvira I. Sicilia-Garcia, Ji Ming, F. Jack Smith
APIN
2007
94views more  APIN 2007»
13 years 7 months ago
Agent-oriented modeling of the dynamics of biological organisms
In this paper the agent-oriented modeling perspective to cope with biological complexity is discussed. Three levels of dynamics can distinguished and related to each other: dynami...
Catholijn M. Jonker, Jan Treur
CVPR
2003
IEEE
14 years 9 months ago
A Road Sign Recognition System Based on Dynamic Visual Model
We propose a computational model motivated by human cognitive processes for detecting changes of driving environments. The model, call dynamic visual model, consists of three majo...
C. Y. Fang, C. S. Fuh, S. W. Chen, P. S. Yen
ANSS
2005
IEEE
13 years 9 months ago
Simulation Verification and Validation by Dynamic Policy Enforcement
Wei-Tek Tsai, Xinxin Liu, Yinong Chen, Raymond A. ...