292 search results - page 19 / 59 » Designing reactive distillation processes: present and futur... |
EACL
1989
ACL Anthology
13 years 8 months ago
1989
ACL Anthology
This paper presents a critical discussion of the various approaches that have been used in the evaluation of Natural Language systems. We conclude that previous approaches have ne...
IVS
2007
13 years 7 months ago
2007
This paper presents a design framework for geographic visualization based on iterative evaluations of a toolkit designed to support cancer epidemiology. The Exploratory Spatio-Tem...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Evaluating the usability of an application is a crucial activity in systems development projects. It is often done collaboratively, involving groups of current or future users, us...
MOBICOM
2006
ACM
14 years 1 months ago
2006
ACM
This paper discusses the current state of the art systems of real time telemetry on oceanographic moorings and describes the design requirements for making acoustic modem data tel...
UTP
2010
13 years 6 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...