10038 search results - page 1564 / 2008 » Model Checking for Managers |
209
click to vote
TMC
2010
15 years 5 months ago
2010
— In Wireless Sensor and Actor Networks (WSANs), the collaborative operation of sensors enables the distributed sensing of a physical phenomenon, while actors collect and process...
187
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
There exist many interrelated information sources on the Internet that can be categorized into structured (database) and semistructured (documents). A key challenge is to integrat...
264
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
While extensive work has been done on evaluating queries over tuple-independent probabilistic databases, query evaluation over correlated data has received much less attention eve...
377
click to vote
Lecture Notes
The lecture notes cover the following topics,
Fundamentals (OSI Reference Model, Coding, Ethernet), Data Link Control (Flow Control, Error Control, HDLC, PPP), Internet Protocol ...
171
Voted
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
This paper addresses long term tracking of multiple objects with occlusions. Bayesian networks are used to model the interaction among the detected tracks and for conflict managem...