Sciweavers

3505 search results - page 405 / 701
» Information Theory and the IrisCode
Sort
View
CIKM
2009
Springer
15 years 11 months ago
Minimal common container of tree patterns
Tree patterns represent important fragments of XPath. In this paper, we show that some classes of tree patterns exhibit such a property that, given a finite number of tree patter...
Junhu Wang, Jeffrey Xu Yu, Chaoyi Pang, Chengfei L...
ICWL
2009
Springer
15 years 11 months ago
Applying a Web and Simulation-Based System for Adaptive Competence Assessment of Spinal Anaesthesia
The authors present an approach for implementing a system for the assessment of medical competences using a haptic simulation device. Based on Competence based Knowledge Space Theo...
Cord Hockemeyer, Alexander Nussbaumer, Erik Lö...
WEBI
2001
Springer
15 years 11 months ago
A Rough Set-Aided System for Sorting WWW Bookmarks
Most people store ‘bookmarks’ to web pages. These allow the user to return to a web page later on, without having to remember the exact URL address. People attempt to organise ...
Richard Jensen, Qiang Shen
188
Voted
CL
2000
Springer
15 years 11 months ago
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
Marcelo Arenas, Leopoldo E. Bertossi, Michael Kife...
FM
1999
Springer
93views Formal Methods» more  FM 1999»
15 years 11 months ago
Group Principals and the Formalization of Anonymity
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
Paul F. Syverson, Stuart G. Stubblebine