1992 search results - page 253 / 399 » Model Based Testing with Labelled Transition Systems |
118
Voted
ICDAR
2003
IEEE
15 years 8 months ago
2003
IEEE
er presents an approach to deriving an abstract geometric model of a table from a physical representation. The technique developed uses a graph of constraints between cells which ...
102
click to vote
ISCAS
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we study the effectiveness of the multilevel paradigm in considerably reducing the diagnosis latency of distributed algorithms for fault detection in networks with ...
129
Voted
VTC
2007
IEEE
15 years 9 months ago
2007
IEEE
We investigate models for uplink interference in wireless systems. Our models account for the effects of outage probabilities. Such an accounting requires a nonlinear, even nonco...
130
click to vote
KDD
2008
ACM
16 years 3 months ago
2008
ACM
Recommender systems provide users with personalized suggestions for products or services. These systems often rely on Collaborating Filtering (CF), where past transactions are ana...
128
Voted
PR
2000
15 years 3 months ago
2000
An expert system for analysis and recognition of general symbols is introduced. The system uses the structural pattern recognition technique for modeling symbols by a set of strai...