3192 search results - page 196 / 639 » Translating Model Simulators to Analysis Models |
144
click to vote
WWW
2006
ACM
16 years 3 months ago
2006
ACM
Adaptive web sites have been proposed to enhance ease of navigation and information retrieval. A variety of approaches are described in the literature, but consideration of interf...
133
click to vote
IJCAI
2001
15 years 4 months ago
2001
Computer modeling and simulation are indispensable for understanding the functioning of an organism on a molecular level. We present an implemented method for the qualitative simu...
128
click to vote
ECAL
2003
Springer
15 years 8 months ago
2003
Springer
When an ant colony needs to find a new nest, scouts are sent out to evaluate the suitability of potential sites, particularly their size. It has been suggested that ant scouts of L...
134
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
The context of this work is the search for realism and believability of Virtual Humans. Our contribution to achieve this goal is to enable Virtual Humans (VH) to react to spontane...
137
click to vote
QEST
2006
IEEE
15 years 9 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...