6562 search results - page 1241 / 1313 » Noetherianity and Combination Problems |
140
click to vote
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
172
Voted
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
The range space of dynamic textures spans spatiotemporal phenomena that vary along three fundamental dimensions: spatial texture, spatial texture layout, and dynamics. By describin...
130
Voted
ICIP
2003
IEEE
15 years 10 months ago
2003
IEEE
We present a novel solution to the inter-camera color calibration problem, which is very important for multi-camera systems. We propose a distance metric and a model function to e...
160
Voted
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— In the recent past, many researchers have developed control algorithms for visual servo applications. In this paper, we introduce a new hybrid switched system approach,...
148
click to vote
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
— It has been clear since 1988 that self-propagating code can quickly spread across a network by exploiting homogeneous security vulnerabilities. However, the last few years have...