Sciweavers

6014 search results - page 340 / 1203
» Structural Testing with Use Cases
Sort
View
143
Voted
PTS
2003
108views Hardware» more  PTS 2003»
15 years 6 months ago
Fault Diagnosis in Extended Finite State Machines
In this paper, we propose a method for the derivation of an adaptive diagnostic test suite when the system specification and implementation are given in the form of an extended fin...
Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtush...
TIT
2010
104views Education» more  TIT 2010»
14 years 11 months ago
Nonparametric statistical inference for ergodic processes
In this work a method for statistical analysis of time series is proposed, which is used to obtain solutions to some classical problems of mathematical statistics under the only as...
Daniil Ryabko, Boris Ryabko
ICWL
2009
Springer
15 years 11 months ago
Enhancing the Social Capital of Learning Communities by Using an Ad Hoc Transient Communities Service
In online learning, communities can help to enhance learning. However, because of the dynamic nature of communities, attaining and sustaining these communities can be difficult. On...
Sibren Fetter, Adriana J. Berlanga, Peter B. Sloep
WSCG
2004
197views more  WSCG 2004»
15 years 6 months ago
Collision Prediction Using MKtrees
In this paper, the collision prediction between polyhedra under screw motions and a static scene using a new K dimensional tree data structure (Multiresolution Kdtree, MKtree) is ...
Marta Franquesa-Niubó, Pere Brunet
CLEF
2011
Springer
14 years 4 months ago
Simulation of Within-Session Query Variations Using a Text Segmentation Approach
Abstract. We propose a generative model for automatic query reformulations from an initial query using the underlying subtopic structure of top ranked retrieved documents. We addre...
Debasis Ganguly, Johannes Leveling, Gareth J. F. J...