11160 search results - page 1827 / 2232 » Incompleteness in a General Setting |
179
click to vote
RTSS
2006
IEEE
16 years 1 months ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
249
click to vote
CASES
2006
ACM
16 years 1 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
212
click to vote
COMPGEOM
2006
ACM
16 years 1 months ago
2006
ACM
In the last decade, a great deal of work has been devoted to the elaboration of a sampling theory for smooth surfaces. The goal was to ensure a good reconstruction of a given surf...
228
click to vote
DOCENG
2006
ACM
16 years 1 months ago
2006
ACM
Category ranking provides a way to classify plain text documents into a pre-determined set of categories. This work proposes to have a look at typical document collections and ana...
222
click to vote
IMC
2006
ACM
16 years 1 months ago
2006
ACM
We present Topology-based Geolocation (TBG), a novel approach to estimating the geographic location of arbitrary Internet hosts. We motivate our work by showing that 1) existing a...