1097 search results - page 160 / 220 » Sequential Object Monitors |
144
Voted
CHARME
1995
Springer
15 years 6 months ago
1995
Springer
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
122
Voted
PODS
1995
ACM
15 years 6 months ago
1995
ACM
d abstract Marc Andries, Leiden University Luca Cabibbo, University of Romey Jan Paredaens, University of Antwerpz Jan Van den Bussche, INRIAx In the context of object databases...
111
Voted
PARLE
1991
15 years 6 months ago
1991
We present a new programming language designed to allow the convenient expression of algorithms for a parallel random access machine (PRAM). The language attempts to satisfy two p...
121
Voted
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
This work introduces a new pattern recognition model for segmenting and tracking lip contours in video sequences. We formulate the problem as a general nonrigid object tracking me...
132
Voted
NIPS
2007
15 years 4 months ago
2007
Active learning sequentially selects unlabeled instances to label with the goal of reducing the effort needed to learn a good classifier. Most previous studies in active learning...