6762 search results - page 433 / 1353 » Multiple drafts model |
190
click to vote
MEMOCODE
2006
IEEE
16 years 28 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
195
click to vote
MSWIM
2006
ACM
16 years 26 days ago
2006
ACM
A generic theoretical framework for managing critical events in ubiquitous computing systems is presented. The main idea is to automatically respond to occurrences of critical eve...
182
click to vote
SIGIR
2004
ACM
16 years 10 days ago
2004
ACM
Topic tracking is complicated when the stories in the stream occur in multiple languages. Typically, researchers have trained only English topic models because the training storie...
240
click to vote
LANC
2009
ACM
15 years 11 months ago
2009
ACM
We study a wireless network under the 802.11 random access protocol, supporting multiple physical layer rates. Based on models for the effective packet rates achieved at the MAC ...
166
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we propose an observable-area model of the scene for real-time cooperative object tracking by multiple cameras. The knowledge of partners’ abilities is necessary ...