431 search results - page 43 / 87 » A Modeling Methodology for Conflict Control in Multi-Agent S... |
136
click to vote
SPATIALCOGNITION
2004
Springer
15 years 9 months ago
2004
Springer
Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating s...
159
click to vote
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
Dynamic Power Management is a design methodology aiming at reducing power consumption of electronic systems, by performing selective shutdown of the idle system resources. The eff...
139
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
141
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
134
click to vote
AVI
2004
15 years 5 months ago
2004
In this paper we propose ValueCharts, a set of visualizations and interactive techniques intended to support decision-makers in inspecting linear models of preferences and evaluat...