16626 search results - page 354 / 3326 » Computing is a natural science |
176
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Boundary detection constitutes a crucial step in many computer vision tasks. We present a novel learning approach to automatically construct a boundary detector for natural images...
176
click to vote
JIIS
2008
15 years 6 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
146
click to vote
EACL
1989
ACL Anthology
15 years 8 months ago
1989
ACL Anthology
In this paper, we present a logic-based computational model for movement theory in Government and Binding Theory. For that purpose, we have designed a language called DISLOG. DISL...
200
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Wikis are sites that support the development of emergent, collective infrastructures that are highly flexible and open, suggesting that the systems that use them will be egalitari...
149
click to vote
SYNASC
2006
IEEE
16 years 26 days ago
2006
IEEE
In this paper, we report a case study of computer supported exploration of the theory of natural numbers, using a theory exploration model based on knowledge schemes, proposed by ...