Sciweavers

5570 search results - page 692 / 1114
» Applications of Fair Testing
Sort
View
FMSD
1998
60views more  FMSD 1998»
15 years 6 months ago
The General Product Machine: a New Model for Symbolic FSM Traversal
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Pa...
151
Voted
JUCS
2002
97views more  JUCS 2002»
15 years 6 months ago
The TrailTRECer Framework: Applying Open Hypermedia Concepts to Trails
: Being lost in space and overloaded with information are two key problems users are confronted with, when searching for appropriate information. Trails built from information abou...
Erich Gams, Siegfried Reich
MVA
2002
188views Computer Vision» more  MVA 2002»
15 years 6 months ago
Adaptive Background Estimation for Object Tracking
2 Adaptive Background Model Tracking people has received considerable attention by computer vision researchers. Interest is motivated by the broad range of potential applications s...
Ryunosuke Itoh, Yoshio Iwai, Masahiko Yachida
NPL
2002
120views more  NPL 2002»
15 years 6 months ago
A Novel Measure for Quantifying the Topology Preservation of Self Organizing Feature Maps
Recently, feature maps have been applied to various problem domains.The success of some of these applications critically depends on whether feature maps are topologically ordered. ...
Mu-Chun Su, Hsiao-Te Chang, Chien-Hsing Chou
SIGPLAN
1998
15 years 6 months ago
Java and Distributed Object Models: An Analysis
Java has an important role in building distributed object oriented web enabled applications. In the article an analysis of two distributed object models in context of Java languag...
Marjan Hericko, Matjaz B. Juric, Ales Zivkovic, Iv...