Sciweavers

7921 search results - page 109 / 1585
» LSH-preserving functions and their applications
Sort
View
ETFA
2008
IEEE
16 years 24 days ago
Functional safety and system security in automation systems - a life cycle model
Industrial and building automation systems are more and more important in industry and buildings. New services and novel fields of application call for dependable systems. Two ver...
Thomas Novak, Albert Treytl
DFG
2007
Springer
16 years 15 days ago
Natural Neighbor Concepts in Scattered Data Interpolation and Discrete Function Approximation
: The concept of natural neighbors employs the notion of distance to define local neighborhoods in discrete data. Especially when querying and accessing large scale data, it is im...
Tom Bobach, Georg Umlauf
GECCO
2007
Springer
166views Optimization» more  GECCO 2007»
16 years 15 days ago
Comparison of tree and graph encodings as function of problem complexity
In this paper, we analyze two general-purpose encoding types, trees and graphs systematically, focusing on trends over increasingly complex problems. Tree and graph encodings are ...
Michael D. Schmidt, Hod Lipson
LPAR
2007
Springer
16 years 14 days ago
Extending a Resolution Prover for Inequalities on Elementary Functions
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
Behzad Akbarpour, Lawrence C. Paulson
ETFA
2006
IEEE
16 years 11 days ago
Function Blocks for Fieldbus Diagnostics
Increasingly, fieldbuses are used in a variety of applications as the end users make large investments on fieldbus installations. Therefore the availability of these fieldbuses is...
Hassan Kaghazchi, Ronan Joyce, Donal Heffernan