Sciweavers

1271 search results - page 148 / 255
» On Simulation-Checking with Sequential Systems
Sort
View
CIC
2004
114views Communications» more  CIC 2004»
13 years 11 months ago
Design of Distributed Component Frameworks for Computational Grids
The Common Component Architecture (CCA) defines a specification for the implementation of frameworks to support component-based high performance applications. The same framework s...
Madhusudhan Govindaraju, Himanshu Bari, Michael J....
BIOSIG
2003
89views Biometrics» more  BIOSIG 2003»
13 years 11 months ago
How to Test the Performance of Speech Verifiers and Statistical Evaluation
Abstract: Biometric identification and verification technologies, in the past, have promised high performance levels. Such performance statements lead to the assumption, that these...
Jörg Tacke, Andreas Wolf
FMOODS
2003
13 years 11 months ago
Inductive Proof Outlines for Monitors in Java
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
Erika Ábrahám, Frank S. de Boer, Wil...
IFIP3
2003
114views Education» more  IFIP3 2003»
13 years 11 months ago
Enabling Postgraduate Learning in the Workplace
: This paper describes a research project that was carried out to determine and evaluate the learning environment customisations required to support selfmotivated, able, and experi...
Nicola Beasley, John A. Ford, Nils Tomes
IJCAI
2003
13 years 11 months ago
Intelligent Multimodal Stream Processing
This poster describes methods to enable intelligent access to multimodal information streams. We illustrate these methods in two integrated systems: the Broadcast News Editor (BNE...
Mark T. Maybury