Sciweavers

914 search results - page 65 / 183
» Design spaces: The explicit representation of spaces of alte...
Sort
View
ACSD
2003
IEEE
159views Hardware» more  ACSD 2003»
14 years 2 months ago
Case Studies of Model Checking for Embedded System Designs
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
AMAI
2006
Springer
13 years 9 months ago
Answer set based design of knowledge systems
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
Marcello Balduccini, Michael Gelfond, Monica Nogue...
SSD
2001
Springer
120views Database» more  SSD 2001»
14 years 1 months ago
Design and Implementation of Multi-scale Databases
The need to access spatial data at multiple levels of detail is a fundamental requirement of many applications of geographical information, yet conventional spatial database access...
Sheng Zhou, Christopher B. Jones
WSC
2001
13 years 10 months ago
Satellite communications representation in network simulation
This paper presents methodologies to represent satellite communications (SATCOM) behaviors in network simulation. This paper is based on tasks performed for generic network warfar...
Kenneth Y. Jo
CVPR
2006
IEEE
14 years 11 months ago
A Design Principle for Coarse-to-Fine Classification
Coarse-to-fine classification is an efficient way of organizing object recognition in order to accommodate a large number of possible hypotheses and to systematically exploit shar...
Sachin Gangaputra, Donald Geman