1929 search results - page 144 / 386 » A Problem Space Approach to Expert System Specification |
151
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
128
click to vote
HPCA
2008
IEEE
16 years 4 months ago
2008
IEEE
Estimating the maximum power and thermal characteristics of a processor is essential for designing its power delivery system, packaging, cooling, and power/thermal management sche...
144
click to vote
PKDD
2004
Springer
15 years 9 months ago
2004
Springer
Three methods for combining multiple clustering systems are presented and evaluated, focusing on the problem of finding the correspondence between clusters of different systems. ...
112
click to vote
ECBS
2009
IEEE
15 years 11 months ago
2009
IEEE
Sensornet lifespan and utility is limited by the energy resources of individual motes. Network designers seek to maximise energy efficiency while maintaining acceptable Quality o...
120
click to vote
ROBOCOMM
2007
IEEE
15 years 10 months ago
2007
IEEE
—The vision of network robot systems involves robots embedded in smart environments, with which they can collaborate and communicate. In such systems, robots have access to many ...