Sciweavers

375 search results - page 31 / 75
» Energy constraints on parameterized models
Sort
View
ICIP
2005
IEEE
16 years 1 months ago
Explicit contour model for vehicle tracking with automatic hypothesis validation
This paper addresses the problem of vehicle tracking under a single static, uncalibrated camera without any constraints on the scene or on the motion direction of vehicles. We int...
Boris Wai-Sing Yiu, Kwan-Yee Kenneth Wong, Francis...
CORR
2007
Springer
147views Education» more  CORR 2007»
14 years 11 months ago
Model Checking Synchronized Products of Infinite Transition Systems
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
Stefan Wöhrle, Wolfgang Thomas
IPMI
2007
Springer
16 years 18 days ago
Geometrically Proper Models in Statistical Training
In deformable model segmentation, the geometric training process plays a crucial role in providing shape statistical priors and appearance statistics that are used as likelihoods. ...
Qiong Han, Derek Merck, Josh Levy, Christina Villa...
SIGGRAPH
1995
ACM
15 years 3 months ago
Plenoptic modeling: an image-based rendering system
Image-based rendering is a powerful new approach for generating real-time photorealistic computer graphics. It can provide convincing animations without an explicit geometric repr...
Leonard McMillan, Gary Bishop
MOBIHOC
2007
ACM
15 years 11 months ago
Cross-layer latency minimization in wireless networks with SINR constraints
Recently, there has been substantial interest in the design of crosslayer protocols for wireless networks. These protocols optimize certain performance metric(s) of interest (e.g....
Deepti Chafekar, V. S. Anil Kumar, Madhav V. Marat...