Sciweavers

3731 search results - page 418 / 747
» cases 2006
Sort
View
IJBC
2007
80views more  IJBC 2007»
15 years 6 months ago
Exact Approximations of omega Numbers
A Chaitin Omega number is the halting probability of a universal prefix-free Turing machine. Every Omega number is simultaneously computably enumerable (the limit of a computable...
Cristian S. Calude, Michael J. Dinneen
ROBOTICA
2006
133views more  ROBOTICA 2006»
15 years 6 months ago
WiFi localization methods for autonomous robots
This paper compares two methods to estimate the position of a mobile robot in an indoor environment using only odometric calculus and the WiFi energy received from the wireless co...
Vicente Matellán Olivera, José Mar&i...
RSA
2006
74views more  RSA 2006»
15 years 6 months ago
Robust locally testable codes and products of codes
We continue the investigation of locally testable codes, i.e., error-correcting codes for whom membership of a given word in the code can be tested probabilistically by examining ...
Eli Ben-Sasson, Madhu Sudan
RTS
2006
129views more  RTS 2006»
15 years 6 months ago
Modeling out-of-order processors for WCET analysis
Estimating the Worst Case Execution Time (WCET) of a program on a given processor is important for the schedulability analysis of real-time systems. WCET analysis techniques typic...
Xianfeng Li, Abhik Roychoudhury, Tulika Mitra
IJCSA
2007
143views more  IJCSA 2007»
15 years 6 months ago
Incremental Trade-Off Management for Preference-Based Queries
Preference-based queries often referred to as skyline queries play an important role in cooperative query processing. However, their prohibitive result sizes pose a severe challen...
Wolf-Tilo Balke, Ulrich Güntzer, Christoph Lo...