10542 search results - page 176 / 2109 » A General Notion of Useful Information |
154
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
The classic method of Nelson and Oppen for combining decision procedures requires the theories to be stably-infinite. Unfortunately, some important theories do not fall into this...
189
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We generalize the notions of flippable and simultaneously-flippable edges in a triangulation of a set S of points in the plane, into so called pseudo simultaneously-flippable edge...
140
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract. In the first part of this article we introduce the notion of a backwardforward conditioning (BFC) system that generalises the notion of zero-class admissibiliy introduce...
156
click to vote
SAC
2010
ACM
15 years 1 months ago
2010
ACM
In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...
152
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we analyze queries and sessions intended to satisfy children’s information needs using a large-scale query log. The aim of this analysis is twofold: i) To identify...