11160 search results - page 279 / 2232 » Incompleteness in a General Setting |
187
click to vote
PERCOM
2003
ACM
15 years 11 months ago
2003
ACM
Passive RFID technology and unobtrusive Bluetoothenabled active tags are means to augment products and everyday objects with information technology invisible to human users. This ...
171
click to vote
ESA
2009
Springer
15 years 10 months ago
2009
Springer
Let (S, d) be a finite metric space, where each element p ∈ S has a non-negative weight w(p). We study spanners for the set S with respect to weighted distance function dw, wher...
165
click to vote
CAIP
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. We propose a new computational method for segmenting topological sub-dimensional point-sets in scalar images of arbitrary spatial dimensions. The technique is based on co...
183
click to vote
TYPES
1994
Springer
15 years 10 months ago
1994
Springer
A special final coalgebra theorem, in the style of Aczel's [2], is proved within standard Zermelo-Fraenkel set theory. Aczel's AntiFoundation Axiom is replaced by a varia...
170
click to vote
ARC
2006
Springer
15 years 9 months ago
2006
Springer
We introduce a new paradigm in the computer architecture referred to as Polymorphic Instruction Set Computers (PISC). This new paradigm, in difference to RISC/CISC, introduces hard...