Sciweavers

10848 search results - page 408 / 2170
» Programming in Biomolecular Computation
Sort
View
ICDE
2007
IEEE
164views Database» more  ICDE 2007»
16 years 1 months ago
An Integer Linear Programming Approach to Database Design
Existing index selection tools rely on heuristics to efficiently search within the large space of alternative solutions and to minimize the overhead of using the query optimizer ...
Stratos Papadomanolakis, Anastassia Ailamaki
ACCV
2007
Springer
16 years 1 months ago
Visual Odometry for Non-overlapping Views Using Second-Order Cone Programming
Abstract. We present a solution for motion estimation for a set of cameras which are firmly mounted on a head unit and do not have overlapping views in each image. This problem re...
Jae-Hak Kim, Richard I. Hartley, Jan-Michael Frahm...
ECML
2007
Springer
16 years 1 months ago
Multi-objective Genetic Programming for Multiple Instance Learning
Abstract. This paper introduces the use of multi-objective evolutionary algorithms in multiple instance learning. In order to achieve this purpose, a multi-objective grammar-guided...
Amelia Zafra, Sebastián Ventura
TLCA
2007
Springer
16 years 1 months ago
Higher-Order Logic Programming Languages with Constraints: A Semantics
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
James Lipton, Susana Nieva
CCECE
2006
IEEE
16 years 28 days ago
AOP Extension for Security Testing of Programs
The purpose of this paper is to use the aspect-oriented programming (AOP) paradigm for security testing. AOP allows security experts to develop and inject separate modules for con...
Nadia Belblidia, Mourad Debbabi, Aiman Hanna, Zhen...