258 search results - page 42 / 52 » Some Notes on Fine Computability |
173
Voted
COMPUTER
2006
15 years 6 months ago
2006
The educational content of a technical topic consists, ultimately, of elementary chunks of knowledge. Identifying and classifying such units -- Testable, Reusable Units of Cogniti...
218
Voted
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper presents a robust calibration procedure for clustered wireless sensor networks. Accurate calibration of between-node distances is one crucial step in localizing sensor n...
172
click to vote
TPHOL
2007
IEEE
16 years 21 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
160
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this work, we consider a distributed source coding problem with a joint distortion criterion depending on the sources and the reconstruction. This includes as a special case the...
174
click to vote
ENTCS
2006
15 years 6 months ago
2006
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...