Sciweavers

2851 search results - page 48 / 571
» A Knowledge Based Approach on Educational Metadata Use
Sort
View
IPTPS
2005
Springer
15 years 9 months ago
Arpeggio: Metadata Searching and Content Sharing with Chord
Arpeggio is a peer-to-peer file-sharing network based on the Chord lookup primitive. Queries for data whose metadata matches a certain criterion are performed efficiently by using...
Austin T. Clements, Dan R. K. Ports, David R. Karg...
CVPR
2006
IEEE
16 years 5 months ago
Shape-Based Approach to Robust Image Segmentation using Kernel PCA
Segmentation involves separating an object from the background. In this work, we propose a novel segmentation method combining image information with prior shape knowledge, within...
Samuel Dambreville, Yogesh Rathi, Allen Tannenbaum
CORR
2007
Springer
125views Education» more  CORR 2007»
15 years 3 months ago
Common knowledge logic in a higher order proof assistant?
This paper presents experiments on common knowledge logic, conducted with the help of the proof assistant Coq. The main feature of common knowledge logic is the eponymous modality...
Pierre Lescanne
SIGMOD
2010
ACM
249views Database» more  SIGMOD 2010»
15 years 8 months ago
Active knowledge: dynamically enriching RDF knowledge bases by web services
The proliferation of knowledge-sharing communities and the advances in information extraction have enabled the construction of large knowledge bases using the RDF data model to re...
Nicoleta Preda, Gjergji Kasneci, Fabian M. Suchane...
IIE
2008
97views more  IIE 2008»
15 years 3 months ago
Mathematical Logic and Deduction in Computer Science Education
Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does...
Hashim Habiballa, Tibor Kmet