Sciweavers

458 search results - page 56 / 92
» Universal Temporal Data Languages
Sort
View
IFIP
1992
Springer
15 years 3 months ago
Controller Implementation by Communicating Asynchronous Sequential Circuits Generated from a Petri Net Specification of Required
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
Jochen Beister, Ralf Wollowski
JFP
2006
80views more  JFP 2006»
14 years 11 months ago
Static analysis for path correctness of XML queries
A part of a query that will never contribute data to the query answer should be regarded as an error. This principle has been recently accepted into mainstream XML query languages...
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo...
IDEAS
1997
IEEE
107views Database» more  IDEAS 1997»
15 years 4 months ago
Query Processing in the ROL system
The ROL system is a novel deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform rule-based declarative language fo...
Mengchi Liu, Weidong Yu
CICLING
2005
Springer
15 years 5 months ago
Automatic Time Expression Labeling for English and Chinese Text
In this paper, we describe systems for automatic labeling of time expressions occurring in English and Chinese text as specified in the ACE Temporal Expression Recognition and Nor...
Kadri Hacioglu, Ying Chen, Benjamin Douglas
FUIN
2006
97views more  FUIN 2006»
14 years 12 months ago
Interactive Systems with Registers and Voices
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
Gheorghe Stefanescu