Sciweavers

1255 search results - page 199 / 251
» Information-Based Machine Translation
Sort
View
101
Voted
FM
1999
Springer
104views Formal Methods» more  FM 1999»
15 years 4 months ago
On Excusable and Inexcusable Failures
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...
Markus Müller-Olm, Andreas Wolf
64
Voted
HPCN
1999
Springer
15 years 4 months ago
XSIL: Extensible Scientific Interchange Language
We motivate and define the XSIL language as a flexible, hierarchical, extensible transport language for scientific data objects. The entire object may be represented in the file, o...
Kent Blackburn, Albert Lazzarini, Thomas A. Prince...
92
Voted
COMPSAC
1998
IEEE
15 years 4 months ago
Tools for the Knowledge Analyst: An Information Superiority Visionary Demonstration
This paper describes the application of a suite of innovative information processing and analytic support tools developed at The MITRE Corporation, in some cases as extensions of ...
Mark T. Maybury
111
Voted
ASSISTIVE
1998
Springer
15 years 4 months ago
A Wearable Computer Based American Sign Language Recognizer
Modern wearable computer designs package workstation level performance in systems small enough to be worn as clothing. These machines enable technology to be brought where it is n...
Thad Starner, Joshua Weaver, Alex Pentland
107
Voted
HICSS
1997
IEEE
90views Biometrics» more  HICSS 1997»
15 years 4 months ago
A Workload Generation Environment for Trace-Driven Simulation of Shared-Bus Multiprocessors
We describe an environment to produce traces representing significant workloads for a shared-bus shared-memory multiprocessor used as a general-purpose multitasking machine, wher...
Roberto Giorgi, Cosimo Antonio Prete, Gianpaolo Pr...