5263 search results - page 665 / 1053 » Open Constraint Optimization |
217
Voted
TWC
2010
15 years 2 months ago
2010
In a conventional wireless cellular system, signal processing is performed on a per-cell basis; out-of-cell interference is treated as background noise. This paper considers the be...
265
click to vote
DAGM
2011
Springer
14 years 7 months ago
2011
Springer
Hybrid registration schemes are a powerful alternative to fully automatic registration algorithms. Current methods for hybrid registration either include the landmark information a...
298
Voted
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
The growing nature of databases, and the flexibility inherent in the SQL query language that allows arbitrarily complex formulations, can result in queries that take inordinate am...
209
Voted
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...
225
Voted
JAR
2006
15 years 7 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...