6047 search results - page 859 / 1210 » Modeling with Extend |
138
click to vote
EKAW
2006
Springer
15 years 9 months ago
2006
Springer
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
197
click to vote
FORMATS
2006
Springer
15 years 9 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
164
Voted
PADL
2000
Springer
15 years 9 months ago
2000
Springer
In this paper, we demonstrate how Functional Reactive Programming (FRP), a framework for the description of interactive systems, can be extended to encompass parallel systems. FRP ...
173
Voted
ICRA
1995
IEEE
15 years 9 months ago
1995
IEEE
—Three dimensional vision applications, such as robot vision, require modeling of the relationship between the two-dimensional images and the three-dimensional world. Camera cali...
159
click to vote
ECML
1991
Springer
15 years 9 months ago
1991
Springer
Robust reasoning requires learning from problem solving episodes. Past experience must be compiled to provide adaptation to new contingencies and intelligent modification of solut...