3653 search results - page 217 / 731 » On Recognizable Timed Languages |
129
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The HalpernShoham logic is a modal logic of time intervals. Some eort has been put in last ten years to classify fragments of this beautiful logic with respect to decid...
123
click to vote
COLING
2000
15 years 6 months ago
2000
Grammatical relationships (Glls) form an important level of natural language processing, but different sets of ORs are useflfl for different purposes. Theretbre, one may often onl...
139
click to vote
ACL
1990
15 years 6 months ago
1990
The principle known as 'free indexation' plays an important role in the determination of the referential properties of noun phrases in the principleand-parameters langua...
153
click to vote
ENTCS
2006
15 years 5 months ago
2006
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...
184
click to vote
ICALP
1994
Springer
15 years 9 months ago
1994
Springer
A hash table is a representation of a set in a linear size data structure that supports constanttime membership queries. We show how to construct a hash table for any given set of...