Sciweavers

4963 search results - page 161 / 993
» Implementing a Categorical Information System
Sort
View
ICAIL
2007
ACM
15 years 10 months ago
The Legal-RDF Ontology. A Generic Model for Legal Documents
Legal-RDF.org1 publishes a practical ontology that models both the layout and content of a document and metadata about the document; these have been built using data models implici...
John McClure
LOPSTR
2004
Springer
15 years 12 months ago
Determinacy Analysis for Logic Programs Using Mode and Type Information
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
Pedro López-García, Francisco Bueno,...
GW
2009
Springer
156views Biometrics» more  GW 2009»
15 years 4 months ago
Influence of Handshape Information on Automatic Sign Language Recognition
Research on automatic sign language recognition (ASLR) has mostly been conducted from a machine learning perspective. We propose to implement results from human sign recognition st...
Gineke A. ten Holt, Marcel J. T. Reinders, Emile A...
HICSS
2007
IEEE
133views Biometrics» more  HICSS 2007»
16 years 25 days ago
The Co-evolution of Design and User Requirements in Knowledge Management Systems: The Case of Patent Management Systems
Do the design requirements of a knowledge management system change over time? If so, how do these changes affect the users of the system? In this paper we explore the case of pate...
Tony Briggs, Bala Iyer, Paul Carlile
TCS
2010
15 years 4 months ago
Arrows for secure information flow
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
Peng Li, Steve Zdancewic