Sciweavers

4158 search results - page 532 / 832
» A Framework for Web Science
Sort
View
HICSS
2005
IEEE
111views Biometrics» more  HICSS 2005»
16 years 8 days ago
Using Information Extraction for Quality Analysis in Human Authentication
During the past decade there have been significant advances in the field of Natural Language Processing (NLP) and, in particular, Information Extraction (IE) [2] which have fueled...
Kiyoshi Sudo, Amit Bagga, Lawrence O'Gorman, Jon L...
185
Voted
LPAR
2005
Springer
16 years 4 days ago
Automating Coherent Logic
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
Marc Bezem, Thierry Coquand
TABLEAUX
2005
Springer
16 years 3 days ago
Description Logics in Ontology Applications
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
Ian Horrocks
HICSS
2003
IEEE
140views Biometrics» more  HICSS 2003»
15 years 12 months ago
Electronic Voting: Algorithmic and Implementation Issues
Electronic Transactions over the Internet, particularly using the World Wide Web have become an integral part of economic life. Recently also the public sector has started to use ...
Robert Kofler, Robert Krimmer, Alexander Prosser
ITICSE
2003
ACM
15 years 12 months ago
Observations from using two modes of teaching undergraduate computer architecture
The authors present observations from using two modes of teaching undergraduate computer architecture. Two sections were taught differently: one section was taught using a traditi...
Benjoe A. Juliano, Chi-Hui Chen, Elena Kroumova