Sciweavers

2221 search results - page 323 / 445
» The Importance of Symmetric Representation
Sort
View
CAV
2006
Springer
86views Hardware» more  CAV 2006»
15 years 10 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...
ECAI
2006
Springer
15 years 10 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...
CASES
2001
ACM
15 years 10 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
SIGIR
2010
ACM
15 years 10 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 10 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...