12774 search results - page 2275 / 2555 » A Framework for Proof Systems |
176
Voted
WIKIS
2009
ACM
15 years 11 months ago
2009
ACM
Wikipedia has become a very popular destination for Web surfers seeking knowledge about a wide variety of subjects. While it contains many helpful articles with accurate informati...
167
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
As a result of the changing scope of data management towards the management of highly distributed systems and applications, integration processes have gained in imporuch integrati...
157
click to vote
AVBPA
2001
Springer
15 years 11 months ago
2001
Springer
We present an approach for visual discrimination of children from adults in video using characteristic regularities present in their locomotion patterns. The framework employs comp...
218
Voted
CAISE
2001
Springer
15 years 11 months ago
2001
Springer
XML is fast becoming the standard for information exchange on the Internet. As such, information expressed in XML will need to be integrated with existing information systems, whi...
185
Voted
DAGM
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we introduce a formalism for optimal camera parameter selection for iterative state estimation. We consider a framework based on Shannon’s information theory and se...