Sciweavers

399 search results - page 21 / 80
» Combining the Animation and Testing of Abstract Data Types
Sort
View
ADAEUROPE
2003
Springer
14 years 2 months ago
Charles: A Data Structure Library for Ada95
ontainer. In particular, an iterator abstracts away differences in specific container types, allowing you to view the collection simply as a sequence of items. A generic algorith...
Matthew Heaney
VCIP
2003
163views Communications» more  VCIP 2003»
13 years 10 months ago
Comparing subjective video quality testing methodologies
International recommendations for subjective video quality assessment (e.g., ITU-R BT.500-11) include specifications for how to perform many different types of subjective tests. S...
Margaret H. Pinson, Stephen Wolf
DAARC
2007
Springer
86views Algorithms» more  DAARC 2007»
14 years 3 months ago
Evaluating Hybrid Versus Data-Driven Coreference Resolution
Abstract. In this paper, we present a systematic evaluation of a hybrid approach of combined rule-based filtering and machine learning to Dutch coreference resolution. Through the...
Iris Hendrickx, Véronique Hoste, Walter Dae...
RTCSA
1999
IEEE
14 years 1 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
PLDI
2005
ACM
14 years 2 months ago
Essential language support for generic programming
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
Jeremy G. Siek, Andrew Lumsdaine