1631 search results - page 146 / 327 » Observing Functional Logic Computations |
148
Voted
TII
2010
14 years 10 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
141
Voted
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
The observation models in tracking algorithms are critical to both tracking performance and applicable scenarios but are often simplified to focus on fixed level of certain target...
101
Voted
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
MONNET is a visual surveillance system for tracking pedestrians over extended premises. The MONNET system is composed of intelligent nodes, which exchange information on the indiv...
128
click to vote
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
In this paper we present a novel approach for the 3D Euclidean reconstruction of deformable objects observed by a perspective camera with variable intrinsic parameters. We formula...
130
Voted
TSP
2008
15 years 3 months ago
2008
Decentralized activation in wireless sensor networks is investigated for energy-efficient monitoring using the theory of global games. Given a large number of sensors which can ope...