Sciweavers

2221 search results - page 323 / 445
» The Importance of Symmetric Representation
Sort
View
CAV
2006
Springer
86views Hardware» more  CAV 2006»
15 years 11 months ago
The Power of Hybrid Acceleration
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
Bernard Boigelot, Frédéric Herbretea...
213
Voted
ECAI
2006
Springer
15 years 11 months ago
Environment-Driven Skeletal Plan Execution for the Medical Domain
An important application of both data abstraction and plan execution is the execution of clinical guidelines and protocols (CGP), both to validate them against a large set of test ...
Peter Votruba, Andreas Seyfang, Michael Paesold, S...
176
Voted
CASES
2001
ACM
15 years 11 months ago
The very portable optimizer for digital signal processors
Although retargetability has been a major design concern for many compilers, retargetability is a vitally important issue for Digital Signal Processors(DSPs) because the architect...
Sungjoon Jung, Yunheung Paek
191
Voted
SIGIR
2010
ACM
15 years 11 months ago
Evaluating whole-page relevance
Whole page relevance defines how well the surface-level representation of all elements on a search result page and the corresponding holistic attributes of the presentation respon...
Peter Bailey, Nick Craswell, Ryen W. White, Liwei ...
SPATIALCOGNITION
2000
Springer
15 years 11 months ago
Transfer of Spatial Knowledge from Virtual to Real Environments
The transfer of spatial knowledge from virtual to real environments is one important issue in spatial cognition research. Up to now, studies in this domain have revealed that the p...
Patrick Péruch, Loïc Belingard, Cather...