624 search results - page 75 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
ICCAD
2004
IEEE
14 years 5 months ago
2004
IEEE
— Cycle-accurate functional descriptions (CAFDs) are being widely adopted in integrated circuit (IC) design flows. Power estimation can potentially benefit from the inherent in...
VISUAL
2005
Springer
14 years 2 months ago
2005
Springer
This contribution details how conceptual characterizations of route knowledge can provide the basis for graphical route information in a cognitively adequate way. The approach is b...
DATESO
2008
13 years 10 months ago
2008
Abstract In recent years, many approaches to indexing XML data have appeared. These approaches attempt to process XML queries efficiently and sufficient query plans are built for t...
ICCV
2001
IEEE
14 years 10 months ago
2001
IEEE
The aim of this work is to index images in domain specific databases using colors computed from the object of interest only, instead of the whole image. The main problem in this t...
ER
2000
Springer
14 years 11 days ago
2000
Springer
The application of conceptual models that assure both the consistency and usability of Electronic Product Catalogs (EPC's) is a main concern in the e-commerce community, mainl...