2282 search results - page 267 / 457 » Active property checking |
139
click to vote
ICTAI
2008
IEEE
15 years 11 months ago
2008
IEEE
The aim of educational systems is to design a sequence of learning objects on a set of topics tailored to the learner’s goals and individual properties. However, some of the mai...
129
click to vote
FSEN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
122
Voted
ICTAC
2004
Springer
15 years 10 months ago
2004
Springer
A switched probabilistic I/O automaton is a special kind of probabilistic I/O automaton (PIOA), enriched with an explicit mechanism to exchange control with its environment. Every ...
114
click to vote
ICMI
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, we develop a system to track and recognize hand motion in nearly real time. An important application of this system is to simulate mouse as a visual inputting device...
140
Voted
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
The semiring-based formalism to model soft constraint has been introduced in 1995 by Ugo Montanari and the authors of this paper. The idea was to make constraint programming more f...