920 search results - page 64 / 184 » Generating Satisfiable Problem Instances |
AUSAI
2008
Springer
14 years 23 days ago
2008
Springer
Abstract. Graph-based representations have been used with considercess in computer vision in the abstraction and recognition of object shape and scene structure. Despite this, the ...
GVD
2004
14 years 4 days ago
2004
We investigate classes of SQL queries which are syntactically correct, but certainly not intended, no matter for which task the query was written. For instance, queries that are c...
KBSE
1998
IEEE
14 years 3 months ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...
EOR
2006
13 years 10 months ago
2006
In this paper, we examine a multi-period capacity expansion problem for a local access telecommunications network with a tree topology. Capacity expansion is realized through the ...
TCOM
2008
13 years 10 months ago
2008
In order to reduce the inter-carrier interference (ICI) produced by frequency offset in OFDM systems, we set up an optimization problem to find the transmission pulse which maximi...