2125 search results - page 140 / 425 » Points with Type-2 Operations |
130
Voted
HOTOS
2007
IEEE
15 years 7 months ago
2007
IEEE
Existing distributed hash tables provide efficient mechanisms for storing and retrieving a data item based on an exact key, but are unsuitable when the search key is similar, but ...
123
Voted
TAPSOFT
1991
Springer
15 years 7 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
131
Voted
CPAIOR
2008
Springer
15 years 5 months ago
2008
Springer
Solution-Guided Multi-Point Constructive Search (SGMPCS) is a complete, constructive search technique that has been shown to out-perform standard constructive search techniques on ...
128
Voted
FLOPS
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...
149
click to vote
EGITALY
2006
15 years 4 months ago
2006
These latest years witnessed an impressive improvement of graphics hardware both in terms of features and in terms of computational power. This improvement can be easily observed ...