692 search results - page 10 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
IROS
2006
IEEE
15 years 5 months ago
2006
IEEE
— This paper proposes an approach allowing indoor environment supervised learning to recognize relevant features for environment understanding. Stochastic preprocessing methods i...
111
click to vote
ECCV
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Sparse signal models learned from data are widely used in audio, image, and video restoration. They have recently been generalized to discriminative image understanding t...
CADE
2002
Springer
16 years 2 days ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
MICCAI
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. This paper presents a robust method to correct for intensity differences across a series of aligned stained histological slices. The method is made up of two steps. First...
CONCUR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...