1010 search results - page 146 / 202 » Logics for Contravariant Simulations |
IANDC
2006
13 years 9 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
ENGL
2007
13 years 9 months ago
2007
— This paper presents a novel adaptive controller for multimodal systems based on Fuzzy Reference Model Generator (FRMG). The proposed scheme consists of a fuzzy logic switching ...
NECO
2008
13 years 9 months ago
2008
To perform automatic, unconscious inference, the human brain must solve the "binding problem" by correctly grouping properties with objects. Temporal binding models like...
TOG
2008
13 years 9 months ago
2008
This paper addresses the problem of interactively modeling large street networks. We introduce a modeling framework that uses tensor fields to guide the generation of a street gra...
JDS
2007
13 years 9 months ago
2007
Operational Risk management, the least covered component of Enterprise Wide Risk Management, needs intelligent tools to implement Comprehensive Emergency Management Programs. In t...