1271 search results - page 98 / 255 » On Simulation-Checking with Sequential Systems |
XSYM
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. LONG PAPER. BaseX is an early adopter of the upcoming XQuery Full Text Recommendation. This paper presents some of the enhancements made to the XML database to fully supp...
ICMCS
2005
IEEE
14 years 4 months ago
2005
IEEE
In this paper we investigate a new architecture for recognizing human group actions in meetings. These group actions provide a basis that enables effective browsing and querying i...
KDD
1998
ACM
14 years 2 months ago
1998
ACM
Learning to predict rare events from sequences of events with categorical features is an important, real-world, problem that existing statistical and machine learning methods are ...
KDD
1997
ACM
14 years 2 months ago
1997
ACM
Sequential Data This paper is about the unsuperviseddiscovery of patterns in sequencesof compositeobjects. A compositeobject may be describedas a sequenceof other, simpler data. In...
ICRA
1993
IEEE
14 years 2 months ago
1993
IEEE
A survey of blackboard robotics applications shows the improvements of blackboard models used in telerobotics and autonomous robots from the use of sequential blackboard in the ro...