Sciweavers

3825 search results - page 312 / 765
» The Language of Time: A Reader
Sort
View
TREC
1994
15 years 8 months ago
Searching For Meaning With The Help Of A PADRE
Full-text scanning oers signi cant advantages over other methods of document retrieval but is normally too slow for use on large collections. The Fujitsu AP1000 parallel distribut...
David Hawking, Paul B. Thistlewaite
AI
2007
Springer
15 years 6 months ago
Determining the consistency of partial tree descriptions
We present an efficient algorithm that checks the consistency of partial descriptions of ordered trees. The constraint language of these descriptions was introduced by Cornell in c...
Manuel Bodirsky, Martin Kutz
CORR
2010
Springer
138views Education» more  CORR 2010»
15 years 6 months ago
A Logical Temporal Relational Data Model
Time is one of the most difficult aspects to handle in real world applications such as database systems. Relational database management systems proposed by Codd offer very little ...
Nadeem Mahmood, Aqil Burney, Kamran Ahsan
209
Voted
ENTCS
2006
114views more  ENTCS 2006»
15 years 6 months ago
Stochastic Concurrent Constraint Programming
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give a...
Luca Bortolussi
FAC
2002
104views more  FAC 2002»
15 years 6 months ago
Deep Semantic Links of TCSP and Object-Z: TCOZ Approach
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...
Brendan P. Mahony, Jin Song Dong