8080 search results - page 128 / 1616 » Distributed Constrained Optimization |
112
click to vote
ICCV
2005
IEEE
15 years 8 months ago
2005
IEEE
Recognition of specular objects is particularly difficult because their appearance is much more sensitive to lighting changes than that of Lambertian objects. We consider an appr...
127
click to vote
PPSN
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. This paper describes a parallel model for a distributed memory architecture of a non traditional evolutionary computation method, which integrates constraint propagation ...
135
click to vote
CONCUR
2001
Springer
15 years 7 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
90
Voted
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
141
click to vote
DATE
2010
IEEE
15 years 29 days ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...