3624 search results - page 610 / 725 » Abstract Algebraic Logic |
126
click to vote
MICS
2010
15 years 1 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
112
click to vote
ECCV
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. Finding solutions to minimal problems for estimating epipolar geometry and camera motion leads to solving systems of algebraic equations. Often, these systems are not tri...
129
click to vote
EDBT
2002
ACM
16 years 3 months ago
2002
ACM
Abstract. The success of Internet applications has led to an explosive growth in the demand for bandwidth from ISPs. Managing an IP network requires collecting and analyzing networ...
161
click to vote
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Recently, distributed data storage has gained increasing popularity for efficient and robust data management in wireless sensor networks (WSNs). But the distributed arc...
150
click to vote
ICTIR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The PageRank algorithm is used today within web information retrieval to provide a content-neutral ranking metric over web pages. It employs power method iterations to so...