3116 search results - page 189 / 624 » Positively dependent types |
146
click to vote
SSD
2001
Springer
15 years 9 months ago
2001
Springer
Several studies have focused on the efficient processing of simple spatial query types such as selections and spatial joins. Little work, however, has been done towards the optimiz...
144
click to vote
BIRTHDAY
2000
Springer
15 years 9 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
127
click to vote
IEEEPACT
1998
IEEE
15 years 9 months ago
1998
IEEE
Method speculation of object-oriented programs attempts to exploit method-level parallelism (MLP) by executing sequential method invocations in parallel, while still maintaining c...
121
click to vote
PADS
1997
ACM
15 years 9 months ago
1997
ACM
Multi-resolution representation of simulated entities is considered essentialfor a growing portion of distributed simulations. Heretofore,modelers have representedentites at just ...
155
Voted
DOCENG
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we show how a domain dependent know-how textual database of advices and warnings can be constructed from procedural texts. We show how arguments of type warnings an...