Sciweavers

13917 search results - page 140 / 2784
» Abstraction of Probabilistic Systems
Sort
View
ECAL
2001
Springer
15 years 2 months ago
Fault-Tolerant Structures: Towards Robust Self-Replication in a Probabilistic Environment
Abstract. Self-replicating structures in cellular automata have been extensively studied in the past as models of Artificial Life. However, CAs, unlike the biological cellular mod...
Daniel C. Bünzli, Mathieu S. Capcarrèr...
ROBOCUP
2001
Springer
126views Robotics» more  ROBOCUP 2001»
15 years 2 months ago
Recognizing Probabilistic Opponent Movement Models
In multiagent adversarial domains, team agents should adapt to the environment and opponent. We introduce a model representation as part of a planning process for a simulated socce...
Patrick Riley, Manuela M. Veloso
AMFG
2007
IEEE
255views Biometrics» more  AMFG 2007»
15 years 2 months ago
A New Probabilistic Model for Recognizing Signs with Systematic Modulations
Abstract. This paper addresses an aspect of sign language (SL) recognition that has largely been overlooked in previous work and yet is integral to signed communication. It is the ...
Sylvie C. W. Ong, Surendra Ranganath
DSD
2007
IEEE
116views Hardware» more  DSD 2007»
15 years 4 months ago
Evaluating the Model Accuracy in Automated Design Space Exploration
Design space exploration is used to shorten the design time of System-on-Chips (SoCs). The models used in the exploration need to be both accurate and fast to simulate. This paper...
Kalle Holma, Mikko Setälä, Erno Salminen...
IANDC
2010
141views more  IANDC 2010»
14 years 8 months ago
Regaining cut admissibility in deduction modulo using abstract completion
stract Completion Guillaume Burel a,c,∗ Claude Kirchner b,c aNancy-Universit´e, Universit´e Henri Poincar´e bINRIA Bordeaux - Sud-Ouest cLORIA, ´Equipe Pareo, Bˆatiment B, C...
Guillaume Burel, Claude Kirchner