2407 search results - page 387 / 482 » A Tool for Abstraction in Model Checking |
138
click to vote
ANOR
2002
15 years 6 months ago
2002
Abstract. This paper presents a hybridization of a Constraint Programming (CP) model and search techniques with Local Search (LS) and some ideas borrowed from Genetic Algorithms (G...
149
click to vote
IJCV
2002
15 years 5 months ago
2002
Abstract. In this paper we present an automatic hybrid matching system mixing images coming from central catadioptric systems and conventional cameras. We analyze three models of h...
183
Voted
WOA
2010
15 years 3 months ago
2010
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
200
click to vote
TNN
2010
15 years 23 days ago
2010
Abstract--Recurrent neural networks have become a prominent tool for optimizations including linear or nonlinear variational inequalities and programming, due to its regular mathem...
138
click to vote
ASM
2000
ASM
15 years 10 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...