5863 search results - page 1046 / 1173 » On Model-Checking of P Systems |
169
Voted
DATE
2004
IEEE
15 years 7 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...
140
click to vote
CLOR
2006
15 years 7 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...
135
click to vote
DATE
2006
IEEE
15 years 7 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...
245
click to vote
3DIM
2003
IEEE
15 years 7 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...
117
click to vote
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...