27119 search results - page 5180 / 5424 » Languages |
179
click to vote
TPHOL
2007
IEEE
16 years 26 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...
155
click to vote
AMR
2007
Springer
16 years 23 days ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...
205
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
198
click to vote
CAISE
2007
Springer
16 years 23 days ago
2007
Springer
Data cleaning is the process of correcting anomalies in a data source, that may for instance be due to typographical errors, or duplicate representations of an entity. It is a cruc...
167
click to vote
CC
2007
Springer
16 years 23 days ago
2007
Springer
In this paper, we extend past work on Linear Scan register allocation, and propose two Extended Linear Scan (ELS) algorithms that retain the compiletime efficiency of past Linear ...