536 search results - page 90 / 108 » Planning by Abstraction Using HW[] |
SARA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. If a CSP instance has no solution, it contains a smaller unsolvable subproblem that makes unsolvable the whole problem. When solving such instance, instead of just return...
ETFA
2006
IEEE
14 years 1 months ago
2006
IEEE
— Networks for real-time embedded systems are a key emerging technology for current and future systems. Such networks need to enable reliable communication without requiring sign...
AIPR
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract—The multi-band target detection algorithms implemented in hyperspectral imaging systems represent perhaps the most successful example of image fusion. A core suite of su...
ICDE
2005
IEEE
14 years 1 months ago
2005
IEEE
Sybase's flagship database product, Adaptive Server Enterprise provides Native XML processing (NXS) support. In this paper we present our experience related to query processi...
AOSD
2005
ACM
14 years 1 months ago
2005
ACM
Improving the structure of code can help developers work with a software system more efficiently and more consistently. To aid developers in re-structuring the implementation of c...