3909 search results - page 343 / 782 » Extreme Model Checking |
128
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Finite-state models are used to implement a handwritten text recognition and classification system for a real application entailing casual, spontaneous writing with large vocabula...
109
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—We study the distributed desynchronization problem for graphs with arbitrary topology. Motivated by the severe computational limitations of sensor networks, we present a randomi...
104
click to vote
ETFA
2006
IEEE
15 years 10 months ago
2006
IEEE
The CAN Enhanced Layer (CANELy) is a CAN-based infrastructure capable of extremely reliable communication. This paper describes the mechanisms and the techniques used in CANELy to...
131
click to vote
ICDM
2005
IEEE
15 years 9 months ago
2005
IEEE
We introduce a robust and efficient framework called CLUMP (CLustering Using Multiple Prototypes) for unsupervised discovery of structure in data. CLUMP relies on finding multip...
111
click to vote
EPEW
2005
Springer
15 years 9 months ago
2005
Springer
We introduce and study a new model: 0-automatic queues. Roughly, 0-automatic queues are characterized by a special buffering mechanism evolving like a random walk on some infini...