1116 search results - page 143 / 224 » Applying Predicate Abstraction to Abstract State Machines |
103
click to vote
IEAAIE
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The aim of our research was to apply well-known data mining techniques (such as linear neural networks, multi-layered perceptrons, probabilistic neural networks, classifi...
LICS
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
AMTA
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Parallel corpora are a valuable resource for machine translation, but at present their availability and utility is limited by genreand domain-speci city, licensing restri...
121
click to vote
HYBRID
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...
ICRA
1995
IEEE
15 years 2 months ago
1995
IEEE
A generic architecture for evolutive supervision of robotized assembly tasks is presented. This architecture , at different levels of abstraction, functions for dispatching action...