1581 search results - page 265 / 317 » Mechanizing Inductive Reasoning |
MICS
2008
14 years 9 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
CCS
2010
ACM
14 years 8 months ago
2010
ACM
GPS-enabled mobile devices are a quickly growing market and users are starting to share their location information with each other through services such as Google Latitude. Locati...
CIKM
2010
Springer
14 years 8 months ago
2010
Springer
Information Extraction (IE) has existed as a field for several decades and has produced some impressive systems in the recent past. Despite its success, widespread usage and comm...
IGPL
2010
14 years 8 months ago
2010
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...
107
click to vote
IJCV
2010
14 years 8 months ago
2010
Automatically assigning keywords to images is of great interest as it allows one to retrieve, index, organize and understand large collections of image data. Many techniques have b...