3446 search results - page 643 / 690 » A Reasoning Algorithm for pD* |
161
Voted
PLPV
2010
ACM
16 years 18 days ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
119
Voted
DCC
2010
IEEE
15 years 10 months ago
2010
IEEE
We present a technique that compresses a string w by enumerating all the substrings of w. The substrings are enumerated from the shortest to the longest and in lexicographic order...
127
Voted
HYBRID
2010
Springer
15 years 10 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
122
Voted
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
Coarse Grain Reconfigurable Architectures (CGRAs) promise high performance at high power efficiency. They fulfil this promise by keeping the hardware extremely simple, and movi...
148
Voted
GIS
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we formalize the novel concept of Constrained Reverse k-Nearest Neighbor (CRkNN) search on mobile objects (clients) performed at a central server. The CRkNN query c...