Sciweavers

648 search results - page 92 / 130
» The power of feature clustering: An application to object de...
Sort
View
SAFECOMP
2007
Springer
14 years 2 months ago
Software Encoded Processing: Building Dependable Systems with Commodity Hardware
In future, the decreasing feature size and the reduced power supply will make it much more difficult to built reliable microprocessors. Economic pressure will most likely result in...
Ute Wappler, Christof Fetzer
CIKM
2001
Springer
14 years 1 months ago
Advanced Grouping and Aggregation for Data Integration
New applications from the areas of analytical data processing and data integration require powerful features to condense and reconcile available data. As outlined in [1], the gene...
Eike Schallehn, Kai-Uwe Sattler, Gunter Saake
ICASSP
2010
IEEE
13 years 8 months ago
Geometric tampering estimation by means of a SIFT-based forensic analysis
In many application scenarios digital images play a basic role and often it is important to assess if their content is realistic or has been manipulated to mislead watcher’s opi...
Irene Amerini, Lamberto Ballan, Roberto Caldelli, ...
FLOPS
2010
Springer
14 years 3 months ago
Beluga: Programming with Dependent Types, Contextual Data, and Contexts
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
Brigitte Pientka
EH
1999
IEEE
179views Hardware» more  EH 1999»
14 years 1 months ago
Artificial Evolution of Active Filters: A Case Study
This article focuses on the application of artificial evolution to the synthesis of analog active filters. The main objective of this research is the achievement of a new class of...
Ricardo Salem Zebulum, Marco Aurélio Cavalc...