Sciweavers

3164 search results - page 263 / 633
» On Granular Knowledge Structures
Sort
View
ENTCS
2006
99views more  ENTCS 2006»
15 years 6 months ago
Termination Criteria for Bounded Model Checking: Extensions and Comparison
Increasing attention has been paid recently to criteria that allow one to conclude that a structure models a linear-time property from the knowledge that no counterexamples exist ...
Mohammad Awedh, Fabio Somenzi
CVPR
2004
IEEE
16 years 8 months ago
Multibody Factorization with Uncertainty and Missing Data Using the EM Algorithm
Multibody factorization algorithms [2, 1, 16] give an elegant and simple solution to the problem of structure from motion even for scenes containing multiple independent motions. ...
Amit Gruber, Yair Weiss
WWW
2003
ACM
16 years 6 months ago
A system for principled matchmaking in an electronic marketplace
More and more resources are becoming available on the Web, and there is a growing need for infrastructures that, based on advertised descriptions, are able to semantically match d...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
ICWE
2004
Springer
15 years 11 months ago
Screen Readers Cannot See: Ontology Based Semantic Annotation for Visually Impaired Web Travellers
ct Travelling upon the Web is difficult for visually impaired users since the Web pages are designed for visual interaction [6]. Visually impaired users usually use screen readers...
Yeliz Yesilada, Simon Harper, Carole A. Goble, Rob...
HICSS
2002
IEEE
132views Biometrics» more  HICSS 2002»
15 years 11 months ago
Modeling Current Events
Enormous amounts of information are produced every day, all over the world. but very little of it is true. In this paper, we describe the modeling component of a current events an...
Christopher Landauer, Kirstie L. Bellman