3653 search results - page 499 / 731 » On Recognizable Timed Languages |
187
click to vote
OPODIS
2008
15 years 8 months ago
2008
Abstract. In this paper we use colored Petri nets (CPNs) and the supporting CPN Tools for the modeling and performance analysis of grid architectures. The notation of Petri nets is...
218
click to vote
OWLED
2008
15 years 8 months ago
2008
Abstract. We present Owlgres, a DL-Lite reasoner implementation written for PostgreSQL, a mature open source database. Owlgres is an OWL reasoner that provides consistency checking...
161
click to vote
PLANX
2008
15 years 8 months ago
2008
We investigate the complexity of earliest query answering for n-ary node selection queries defined by streaming tree automata (STAs). We elaborate an algorithm that selects query ...
136
click to vote
NAACL
2007
15 years 8 months ago
2007
The aim of this work is to show the ability of finite-state transducers to simultaneously translate speech into multiple languages. Our proposal deals with an extension of stocha...
140
click to vote
AAAI
2004
15 years 8 months ago
2004
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. This paper pres...