Sciweavers

4335 search results - page 550 / 867
» Privatizing Constraint Optimization
Sort
View
194
Voted
DAGM
2011
Springer
14 years 4 months ago
Using Landmarks as a Deformation Prior for Hybrid Image Registration
Hybrid registration schemes are a powerful alternative to fully automatic registration algorithms. Current methods for hybrid registration either include the landmark information a...
Marcel Lüthi, Christoph Jud, Thomas Vetter
VLDB
2007
ACM
166views Database» more  VLDB 2007»
16 years 4 months ago
Supporting Time-Constrained SQL Queries in Oracle
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...
Ying Hu, Seema Sundara, Jagannathan Srinivasan
150
Voted
GECCO
2006
Springer
162views Optimization» more  GECCO 2006»
15 years 8 months ago
Improving evolutionary real-time testing
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...
Marouane Tlili, Stefan Wappler, Harmen Sthamer
JAR
2006
236views more  JAR 2006»
15 years 4 months ago
Deciding Boolean Algebra with Presburger Arithmetic
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...
Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard
JSAC
2007
180views more  JSAC 2007»
15 years 4 months ago
Cooperative Distributed MIMO Channels in Wireless Sensor Networks
— The large number of network nodes and the energy constraints make Wireless Sensor Networks (WSN) one of the most important application fields for Cooperative Diversity. Node c...
Aitor del Coso, Umberto Spagnolini, Christian Ibar...