Sciweavers

754 search results - page 5 / 151
» Automated Model Selection Using Context-Dependent Behaviors
Sort
View
127
Voted
MICRO
2000
IEEE
124views Hardware» more  MICRO 2000»
15 years 8 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
118
Voted
FM
2006
Springer
113views Formal Methods» more  FM 2006»
15 years 7 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...
118
Voted
IJCAI
2003
15 years 5 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
109
Voted
WSC
2001
15 years 5 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...
155
Voted
AIPS
2000
15 years 5 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...