4743 search results - page 122 / 949 » The PlusCal Algorithm Language |
134
click to vote
JACM
2010
15 years 27 days ago
2010
A temporal constraint language is a set of relations that has a first-order definition in (Q, <), the dense linear order of the rational numbers. We present a complete comple...
142
click to vote
DATESO
2010
15 years 14 days ago
2010
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...
129
click to vote
VLSISP
2010
14 years 9 months ago
2010
A common approach to extract phonemes of sign language is to use an unsupervised clustering algorithm to group the sign segments. However, simple clustering algorithms based on dis...
113
click to vote
ESOP
2000
Springer
15 years 6 months ago
2000
Springer
In order to deal efficiently with infinite regular trees (or other pointed graph structures), we give new algorithms to store such structures. The trees are stored in such a way th...
121
click to vote
ICALP
1997
Springer
15 years 6 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...