8874 search results - page 1748 / 1775 » A New Implementation of Automath |
IJCV
2007
13 years 9 months ago
2007
Abstract. Cast shadows are an informative cue to the shape of objects. They are particularly valuable for discovering object’s concavities which are not available from other cues...
SIGIR
2008
ACM
2008
ACM
Multi-document summarization via sentence-level semantic analysis and symmetric matrix factorization
13 years 9 months ago
Multi-document summarization aims to create a compressed summary while retaining the main characteristics of the original set of documents. Many approaches use statistics and mach...
SIGMETRICS
2008
ACM
13 years 9 months ago
2008
ACM
Enterprise customers are increasingly adopting MPLS (Multiprotocol Label Switching) VPN (Virtual Private Network) service that offers direct any-to-any reachability among the cust...
AI
2005
Springer
13 years 9 months ago
2005
Springer
We present a new series of distributed constraint satisfaction algorithms, the distributed breakout algorithms, which is inspired by local search algorithms for solving the constr...
SP
2008
IEEE
13 years 9 months ago
2008
IEEE
Abstract--Our study analyzes the security and privacy properties of an implantable cardioverter defibrillator (ICD). Introduced to the U.S. market in 2003, this model of ICD includ...