1091 search results - page 99 / 219 » The State of Cognitive Systems Engineering |
CAV
2009
Springer
14 years 10 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
ATVA
2009
Springer
14 years 4 months ago
2009
Springer
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...
PRDC
2007
IEEE
14 years 4 months ago
2007
IEEE
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
AROBOTS
2008
13 years 10 months ago
2008
Traditionally, two alternative design design approaches have been available to engineers: top-down and bottom-up. In the top-down approach, the design process starts with specifyin...
DMS
2010
13 years 8 months ago
2010
We present an automated Image Annotation system called I-Tag which uses both visual and textual information of the images and recommends relevant tags for them. The automatic gene...