Sciweavers

796 search results - page 76 / 160
» Problem Generation: Evaluation of Two Domains in Operating S...
Sort
View
DAWAK
2009
Springer
15 years 2 months ago
Arguing from Experience to Classifying Noisy Data
A process, based on argumentation theory, is described for classifying very noisy data. More specifically a process founded on a concept called “arguing from experience” is des...
Maya Wardeh, Frans Coenen, Trevor J. M. Bench-Capo...
CLEF
2007
Springer
15 years 3 months ago
Overview of the Answer Validation Exercise 2007
The Answer Validation Exercise at the Cross Language Evaluation Forum is aimed at developing systems able to decide whether the answer of a Question Answering system is correct or...
Anselmo Peñas, Álvaro Rodrigo, Felis...
FOSSACS
2003
Springer
15 years 3 months ago
A Monadic Multi-stage Metalanguage
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...
Eugenio Moggi, Sonia Fagorzi
EMSOFT
2007
Springer
15 years 3 months ago
A dynamic scheduling approach to designing flexible safety-critical systems
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
Luís Almeida, Sebastian Fischmeister, Madhu...
TCAD
2008
103views more  TCAD 2008»
14 years 9 months ago
Topology-Based Performance Analysis and Optimization of Latency-Insensitive Systems
Latency-insensitive protocols allow system-on-chip (SoC) engineers to decouple the design of the computing cores from the design of the intercore communication channels while follo...
Rebecca L. Collins, Luca P. Carloni