1581 search results - page 134 / 317 » Mechanizing Inductive Reasoning |
157
click to vote
ICCE
2007
15 years 7 months ago
2007
: Eduwiki is a version of Wiki integrated educational special needs aims to support collaborative lesson-preparing. The paper described the workflow and function of developing Eduw...
146
click to vote
MVA
1994
15 years 7 months ago
1994
The visual perceptional ability of computer systems to understand the environment is desirable in engineering design and manufacturing where automation is anticipated. I n order t...
191
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
139
click to vote
SEMWEB
2009
Springer
16 years 27 days ago
2009
Springer
A semantic application typically is a heterogenous system of interconnected components, most notably a reasoner. OWLlink is an implementation-neutral protocol for communication bet...
180
click to vote
SEMWEB
2007
Springer
16 years 15 days ago
2007
Springer
As the Semantic Web (SW) is being automatically populated with large number of RDF triples scalability issues related to wide scale reasoning occur. We believe these difficulties ...