1941 search results - page 277 / 389 » Reasoning about Computations Using Two-Levels of Logic |
98
Voted
COLING
2010
14 years 10 months ago
2010
With OWL (Web Ontology Language) established as a standard for encoding ontologies on the Semantic Web, interest has begun to focus on the task of verbalising OWL code in controll...
120
click to vote
CVPR
2001
IEEE
16 years 5 months ago
2001
IEEE
While stereo matching was originally formulated as the recovery of 3D shape from a pair of images, it is now generally recognized that using more than two images can dramatically ...
121
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
134
Voted
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
There is growing public concern about personal data collected by both private and public sectors. People have very little control over what kinds of data are stored and how such da...
150
Voted
SIGCSE
2005
ACM
15 years 9 months ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...