639 search results - page 100 / 128 » Integer Programming Models for Optimization Problems in Test... |
160
Voted
TACAS
2012
Springer
13 years 10 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
111
click to vote
CASES
2001
ACM
15 years 6 months ago
2001
ACM
In an embedded system, it is common to have several memory areas with different properties, such as access time and size. An access to a specific memory area is usually restricted...
DIAL
2006
IEEE
15 years 8 months ago
2006
IEEE
It is an important topic for segmentation on how to merge the over-segmented subimages of characters into integral characters. The conventional character segmentation has been mos...
137
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Distributed Constraint Optimization (DCOP) is a general framework that can model complex problems in multi-agent systems. Several current algorithms that solve general DCOP instan...
122
Voted
IJRR
2008
15 years 2 months ago
2008
We develop a new motion planning algorithm for a variant of a Dubins car with binary left/right steering and apply it to steerable needles, a new class of flexible beveltip medica...