Sciweavers

7921 search results - page 109 / 1585
» LSH-preserving functions and their applications
Sort
View
ETFA
2008
IEEE
15 years 4 months 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
15 years 4 months 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»
15 years 4 months 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
15 years 4 months 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
15 years 4 months 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