Sciweavers

140 search results - page 19 / 28
» Consistent Nonparametric Tests of Independence
Sort
View
94
Voted
ICSE
2001
IEEE-ACM
15 years 4 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
ICCD
1996
IEEE
134views Hardware» more  ICCD 1996»
15 years 4 months ago
Pausible Clocking: A First Step Toward Heterogeneous Systems
This paper describes a novel communication scheme, which is guaranteed to be free of synchronization failures, amongst multiple synchronous modules operating independently. In thi...
Kenneth Y. Yun, Ryan P. Donohue
DAGSTUHL
2007
15 years 1 months ago
Convergence of iterative aggregation/disaggregation methods based on splittings with cyclic iteration matrices
Iterative aggregation/disaggregation methods (IAD) belong to competitive tools for computation the characteristics of Markov chains as shown in some publications devoted to testing...
Ivo Marek, Ivana Pultarová, Petr Mayer
ECCV
2006
Springer
15 years 4 months ago
Robust 3D Segmentation of Multiple Moving Objects Under Weak Perspective
A scene containing multiple independently moving, possibly occluding, rigid objects is considered under the weak perspective camera model. We obtain a set of feature points tracke...
Levente Hajder, Dmitry Chetverikov
ICSM
2002
IEEE
15 years 5 months ago
Constraining Software Evolution
Software is multidimensional but the tools that support it are not. The lack of tool support causes the software artifacts representing different dimensions to evolve independentl...
Steven P. Reiss