2911 search results - page 451 / 583 » A Logic of Graph Constraints |
73
Voted
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
FORMATS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...
98
Voted
VR
2003
IEEE
15 years 6 months ago
2003
IEEE
The Syzygy software library consists of tools for programming VR applications on PC clusters. Since the PC cluster environment presents application development constraints, it is ...
110
click to vote
AUSAI
2003
Springer
15 years 6 months ago
2003
Springer
Most on-line cursive handwriting recognition systems use a lexical constraint to help improve the recognition performance. Traditionally, the vocabulary lexicon is stored in a trie...
90
Voted
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Media processing systems often have limited resources and strict performance requirements. An implementation must meet those design constraints while minimizing resource...