Sciweavers

3508 search results - page 409 / 702
» Zero-Error Information Theory
Sort
View
FATES
2004
Springer
15 years 10 months ago
Test Generation Based on Symbolic Specifications
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
DIS
2006
Springer
15 years 10 months ago
Symmetric Item Set Mining Based on Zero-Suppressed BDDs
In this paper, we propose a method for discovering hidden information from large-scale item set data based on the symmetry of items. Symmetry is a fundamental concept in the theory...
Shin-ichi Minato
ECOWS
2006
Springer
15 years 10 months ago
On the Evaluation of Semantic Web Service Matchmaking Systems
Semantic Web Services are generally considered as the evolution of conventional Web Services. Semantic information included in the service descriptions enables the development of ...
Vassileios Tsetsos, Christos Anagnostopoulos, Stat...
ISER
2000
Springer
78views Robotics» more  ISER 2000»
15 years 10 months ago
Map Building and Localization for Underwater Navigation
: A framework for underwater navigation by combining raw information from different sensors into a single scene description is presented. It is shown that features extracted from s...
Somajyoti Majumder, Julio Rosenblatt, Steve Schedi...
CHI
1995
ACM
15 years 10 months ago
Belvedere: stimulating students' critical discussion
We describe “Belvedere,” a system to support students engaged in critical discussion of science and public policy issues. The design is intended to address cognitive and metac...
Massimo Paolucci, Daniel D. Suthers, Arlene Weiner