17288 search results - page 421 / 3458 » Hybrid Optimizations: Which Optimization Algorithm to Use |
162
click to vote
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
— The dangerous and time sensitive nature of a disaster area makes it an ideal application for robotic exploration. Our long term goal is to enable humans, software agents, and a...
157
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
156
click to vote
CIVR
2007
Springer
15 years 11 months ago
2007
Springer
Bag-of-features (BoF) deriving from local keypoints has recently appeared promising for object and scene classification. Whether BoF can naturally survive the challenges such as ...
145
click to vote
PLDI
2006
ACM
15 years 11 months ago
2006
ACM
Atomic blocks allow programmers to delimit sections of code as ‘atomic’, leaving the language’s implementation to enforce atomicity. Existing work has shown how to implement...
109
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
We present a method for designing operational amplifiers using reversed geometric programming, which is an extension of geometric programming that allows both convex and non-conve...