Sciweavers

6894 search results - page 1140 / 1379
» Generation Problems
Sort
View
DAGM
2010
Springer
15 years 7 months ago
Exploiting Redundancy for Aerial Image Fusion Using Convex Optimization
Abstract. Image fusion in high-resolution aerial imagery poses a challenging problem due to fine details and complex textures. In particular, color image fusion by using virtual or...
Stefan Kluckner, Thomas Pock, Horst Bischof
CIDR
2009
136views Algorithms» more  CIDR 2009»
15 years 7 months ago
The Role of Schema Matching in Large Enterprises
To date, the principal use case for schema matching research has been as a precursor for code generation, i.e., constructing mappings between schema elements with the end goal of ...
Ken Smith, Michael Morse, Peter Mork, Maya Hao Li,...
ECAI
2010
Springer
15 years 7 months ago
On Testing Answer-Set Programs
Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support...
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch...
ESA
2010
Springer
183views Algorithms» more  ESA 2010»
15 years 7 months ago
Spatio-temporal Range Searching over Compressed Kinetic Sensor Data
As sensor networks increase in size and number, efficient techniques are required to process the very large data sets that they generate. Frequently, sensor networks monitor object...
Sorelle A. Friedler, David M. Mount
ETS
2010
IEEE
150views Hardware» more  ETS 2010»
15 years 7 months ago
Improving CNF representations in SAT-based ATPG for industrial circuits using BDDs
It was shown in the past that ATPG based on the Boolean Satisfiability problem is a beneficial complement to traditional ATPG techniques. Its advantages can be observed especially ...
Daniel Tille, Stephan Eggersglüß, Rene ...
« Prev « First page 1140 / 1379 Last » Next »