1960 search results - page 108 / 392 » The Logic of Large Enough |
JANCL
2008
13 years 9 months ago
2008
ABSTRACT. In [CON 06b] we introduced the algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general corresp...
DLOG
2010
13 years 7 months ago
2010
Abstract. A usage scenario of bio-ontologies is hypothesis testing, such as finding relationships or new subconcepts in the data linked to the ontology. Whilst validating the hypot...
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
Visual recognition of human actions in video clips has been an active field of research in recent years. However, most published methods either analyse an entire video and assign ...
ICSM
2007
IEEE
14 years 3 months ago
2007
IEEE
Libre (free / open source) software development is a complex phenomenon. Many actors (core developers, casual contributors, bug reporters, patch submitters, users, etc.), in many ...
CIKM
2007
Springer
14 years 3 months ago
2007
Springer
Berners-Lee’s compelling vision of a Semantic Web is hindered by a chicken-and-egg problem, which can be best solved by a bootstrapping method — creating enough structured dat...