488 search results - page 83 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
ICDAR
2007
IEEE
15 years 5 months ago
2007
IEEE
The Machine Learning and Pattern Recognition communities are facing two challenges: solving the normalization problem, and solving the deep learning problem. The normalization pro...
112
Voted
FMCAD
2006
Springer
15 years 2 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
ACL
2010
14 years 9 months ago
2010
Extracting knowledge from unstructured text is a long-standing goal of NLP. Although learning approaches to many of its subtasks have been developed (e.g., parsing, taxonomy induc...
143
click to vote
GBRPR
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. This paper proposes an expert peering system for information exchange. Our objective is to develop a real-time search engine for an online community where users can ask e...
ICINCO
2004
15 years 13 days ago
2004
: We present a vision-based robotic system which uses a combination of several active sensing strategies to grip a free-standing small target object with an initially unknown posit...