1992 search results - page 95 / 399 » Model Based Testing with Labelled Transition Systems |
120
Voted
FOSSACS
2000
Springer
15 years 6 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
179
Voted
WWW
2010
ACM
15 years 9 months ago
2010
ACM
Recommender systems are an important component of many websites. Two of the most popular approaches are based on matrix factorization (MF) and Markov chains (MC). MF methods learn...
138
Voted
SI3D
1997
ACM
15 years 6 months ago
1997
ACM
A new tracing algorithm is described that supports haptic rendering of NURBS surfaces without the use of any intermediate representation. By using this tracing algorithm in conjun...
138
click to vote
CVPR
2003
IEEE
16 years 4 months ago
2003
IEEE
This paper presents a novel method to model and recognize human faces in video sequences. Each registered person is represented by a low-dimensional appearance manifold in the amb...
102
Voted
IBERAMIA
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes a Case Base Seeding system (CBS) that can be used to seed a case base with some random cases in order to provide minimal conditions for the empirical tests of ...