7628 search results - page 1373 / 1526 » Spatial P systems |
154
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
179
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
151
Voted
CLOR
2006
15 years 8 months ago
2006
Abstract. We consider the problem of detecting a large number of different classes of objects in cluttered scenes. We present a learning procedure, based on boosted decision stumps...
145
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a methodology, an environment and supporting tools to map an application on a wireless sensor network (WSN). While the method is quite general, we use extensively an exa...
254
click to vote
3DIM
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we present an efficient and general approach to computing and integrating 3D distance fields directly from multiple range images. We compute normal and confidence va...