1536 search results - page 75 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
PRIMA
2009
Springer
15 years 4 months ago
2009
Springer
In recent years, the topic of emotion reading has increasingly received attention from researchers in Cognitive Science and Artificial Intelligence. To study this phenomenon, in th...
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Mining association rules is a task of data mining, which extracts knowledge in the form of significant implication relation of useful items (objects) from a database. Mining multi...
RTAS
2007
IEEE
15 years 4 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
The paper studies the visibility maintenance problem (VMP) for a leader-follower pair of robots modelled as first-order dynamic systems and proposes an original solution based on t...
TSP
2010
14 years 4 months ago
2010
An operational framework is developed for testing stationarity relatively to an observation scale, in both stochastic and deterministic contexts. The proposed method is based on a ...