3458 search results - page 208 / 692 » Abstracting Control |
137
Voted
HYBRID
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
138
Voted
RTAS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Some real-time kernels (such as a recent realtime version of Linux) permit to execute interrupt handlers in dedicated threads, to control their interference on realtime ...
110
Voted
BILDMED
2004
15 years 4 months ago
2004
Abstract. This paper proposes a method to control the object enhancement in context region in focal region based volume rendering. The proposed method uses the distance as a factor...
136
Voted
SMC
2010
IEEE
15 years 1 months ago
2010
IEEE
—We outline SoftFacts, an ontology mediated top-k information retrieval system over relational databases. An ontology layer is used to define (in terms of a OWL-QL like Semantic...
96
Voted
IBERAMIA
2004
Springer
15 years 8 months ago
2004
Springer
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-li...