Sciweavers

1746 search results - page 155 / 350
» Recent Developments in Algorithmic Teaching
Sort
View
SIGMOD
2008
ACM
115views Database» more  SIGMOD 2008»
16 years 2 months ago
Query answering techniques on uncertain and probabilistic data: tutorial summary
Uncertain data are inherent in some important applications, such as environmental surveillance, market analysis, and quantitative economics research. Due to the importance of thos...
Jian Pei, Ming Hua, Yufei Tao, Xuemin Lin
HICSS
2009
IEEE
101views Biometrics» more  HICSS 2009»
15 years 9 months ago
Building a Better Similarity Trap with Statistically Improbable Features
One of the persistent topics in digital forensic research in recent years has been the problem of finding all things similar. Developed tools usually take on the form of similarit...
Vassil Roussev
TASE
2009
IEEE
15 years 9 months ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin
ICRA
2009
IEEE
141views Robotics» more  ICRA 2009»
15 years 9 months ago
Towards a navigation system for autonomous indoor flying
— Recently there has been increasing research on the development of autonomous flying vehicles. Whereas most of the proposed approaches are suitable for outdoor operation, only ...
Slawomir Grzonka, Giorgio Grisetti, Wolfram Burgar...
ESWS
2009
Springer
15 years 9 months ago
Who the Heck Is the Father of Bob?
Abstract. Finding the optimal selection of an OWL reasoner and service interface for a specific ontology-based application is challenging. Over time it has become more and more di...
Marko Luther, Thorsten Liebig, Sebastian Böhm...