36320 search results - page 476 / 7264 » From Code to Models |
208
click to vote
SAT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...
155
click to vote
ICIP
2006
IEEE
16 years 29 days ago
2006
IEEE
We propose in this paper a new formulation of the equation of the optical flow enabling to compute global and local motions of multi-structure objects (flowers and petals, trees...
201
click to vote
UML
2005
Springer
16 years 11 days ago
2005
Springer
Software product line engineering has emerged as an approach to developing software which targets a given domain. However, the processes involved in developing a software product l...
182
click to vote
MATES
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
208
click to vote
DATE
2003
IEEE
16 years 6 days ago
2003
IEEE
In this paper we present the results of a set of experiments we conducted in order to evaluate the viability of the behavioral synthesis, relying on the tools available at the mom...