Sciweavers

14331 search results - page 2645 / 2867
» On the modeling and analysis of obligations
Sort
View
IPM
2000
96views more  IPM 2000»
15 years 7 months ago
Further reflections on TREC
The paper reviews the TREC Programme up to TREC-6 (1997), considering the test results, the substantive findings for IR that follow, and the lessons TREC offers for IR evaluation....
Karen Sparck Jones
NAR
2000
84views more  NAR 2000»
15 years 7 months ago
SRPDB (Signal Recognition Particle Database)
The Signal Recognition Particle Database (SRPDB) at http://psyche.uthct.edu/dbs/SRPDB/SRPDB.html and http://bio.lundberg.gu.se/dbs/SRPDB/SRPDB. html assists in the better understa...
Christian Zwieb, Tore Samuelsson
GIS
2002
ACM
15 years 7 months ago
Interactive 3D visualization of vector data in GIS
Vector data represents one major category of data managed by GIS. This paper presents a new technique for vector-data display that is able to precisely and efficiently map vector ...
Oliver Kersting, Jürgen Döllner
HF
2002
95views more  HF 2002»
15 years 7 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
SIAMAM
2000
131views more  SIAMAM 2000»
15 years 7 months ago
The Description of Homogeneous Branched-Chain Explosions with Slow Radical Recombination by Self-Adjusting Time Scales
A nonlinear multiscale technique is used to describe the time history of a spatially homogeneous chain-branching/chain-breaking explosion when chain branching is much faster than c...
Antonio L. Sanchez, Luis L. Bonilla, Manuel Carret...
« Prev « First page 2645 / 2867 Last » Next »