Sciweavers

2765 search results - page 157 / 553
» Works and representation
Sort
View
175
Voted
BMVC
1998
15 years 8 months ago
Corner Detection Via Topographic Analysis of Vector Potential
This paper describes how corner detection can be realised using a new feature representation that has recently been successfully exploited for edge and symmetry detection. The fea...
Bin Luo, Andrew D. J. Cross, Edwin R. Hancock
SWAP
2007
15 years 8 months ago
Some Experiments on the Usage of a Deductive Database for RDFS Querying and Reasoning
Abstract. Ontologies are pervading many areas of knowledge representation and management. To date, most research efforts have been spent on the development of sufficiently express...
Giovambattista Ianni, Alessandra Martello, Claudio...
CORR
2010
Springer
137views Education» more  CORR 2010»
15 years 7 months ago
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
Elvira Albert, Miguel Gómez-Zamalloa, Laure...
DKE
2008
114views more  DKE 2008»
15 years 7 months ago
Proof explanation for a nonmonotonic Semantic Web rules language
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresi...
AIEDU
2006
89views more  AIEDU 2006»
15 years 7 months ago
Learner Centred Design in the Adventure Author Project
Involving stakeholders at an early stage of learning environment design enables researchers to base a system around the needs of learners. By working directly with learners, resear...
Seth Goolnik, Judy Robertson, Judith Good