Sciweavers

7890 search results - page 427 / 1578
» The MathSAT 3 System
Sort
View
ATS
1998
IEEE
114views Hardware» more  ATS 1998»
15 years 11 months ago
Design and Simulation of a RISC-Based 32-bit Embedded On-Board Computer
This paper presents the design and simulation method for developing a RISC-based 32-bit embedded on-board computer. Instead of the conventional breadboarded prototype, (1) we used...
Zhen Guo, He Li, Shuling Guo, Dongsheng Wang
CLEAR
2006
Springer
196views Biometrics» more  CLEAR 2006»
15 years 10 months ago
PittPatt Face Detection and Tracking for the CLEAR 2006 Evaluation
Abstract. This paper describes Pittsburgh Pattern Recognition's participation in the face detection and tracking tasks for the CLEAR 2006 evaluation. We first give a system ov...
Michael C. Nechyba, Henry Schneiderman
CLEF
2006
Springer
15 years 10 months ago
Cross Lingual Question Answering Using QRISTAL for CLEF 2006
QRISTAL [9] is a question answering system making intensive use of natural language processing both for indexing documents and extracting answers. It ranked first in the EQueR eva...
Dominique Laurent, Patrick Séguéla, ...
DALT
2009
Springer
15 years 10 months ago
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
Nicoletta Fornara, Marco Colombetti
CSCW
2008
ACM
15 years 8 months ago
Steps toward a typology for health informatics
In this paper we outline a typology, which will be useful for those engaged in the design and customization of information systems in healthcare. Drawing on ethnographic case stud...
Ellen Balka, Pernille Bjørn, Ina Wagner