Sciweavers

754 search results - page 5 / 151
» Automated Model Selection Using Context-Dependent Behaviors
Sort
View
96
Voted
MICRO
2000
IEEE
124views Hardware» more  MICRO 2000»
15 years 4 months ago
Calpa: a tool for automating selective dynamic compilation
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...
Markus Mock, Craig Chambers, Susan J. Eggers
FM
2006
Springer
113views Formal Methods» more  FM 2006»
15 years 3 months ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
IJCAI
2003
15 years 1 months ago
Modeling Web Navigation: Methods and Challenges
A computational cognitive model of Web navigation is a working computer system that simulates human users searching for items in a Web site. A fully working model must automate asp...
Craig S. Miller
75
Voted
WSC
2001
15 years 1 months ago
Commander behavior and course of action selection in JWARS
The Joint Warfare System (JWARS) is being equipped with a Commander Model (CM) to perform situation assessment and Course of Action (COA) selection, and a Commander Behavior Model...
Deborah Vakas, John Prince, H. Ric Blacksten, Chuc...
AIPS
2000
15 years 1 months ago
Vision-Servoed Localization and Behavior-Based Planning for an Autonomous Quadruped Legged Robot
Planning for real robots to act in dynamic and uncertain environments is a challenging problem. A complete model of the world is not viable and an integration of deliberation and ...
Manuela M. Veloso, Elly Winner, Scott Lenser, Jame...