Sciweavers

3320 search results - page 102 / 664
» Heuristics for the Phylogeny Problem
Sort
View
AIPS
2009
15 years 7 months ago
Using the Context-enhanced Additive Heuristic for Temporal and Numeric Planning
Planning systems for real-world applications need the ability to handle concurrency and numeric fluents. Nevertheless, the predominant approach to cope with concurrency followed b...
Patrick Eyerich, Robert Mattmüller, Gabriele ...
ICASSP
2010
IEEE
15 years 6 months ago
A nullspace analysis of the nuclear norm heuristic for rank minimization
The problem of minimizing the rank of a matrix subject to linear equality constraints arises in applications in machine learning, dimensionality reduction, and control theory, and...
Krishnamurthy Dvijotham, Maryam Fazel
ENTCS
2007
199views more  ENTCS 2007»
15 years 6 months ago
Heuristics for Safety and Security Constraints
The flow logic approach to static analysis amounts to specifying the admissibility of solutions to analysis problems; when specified using formulae in stratified alternation-fr...
Flemming Nielson, Hanne Riis Nielson
ICPP
2009
IEEE
16 years 24 days ago
A Heuristic for Mapping Virtual Machines and Links in Emulation Testbeds
Distributed system emulators provide a paramount platform for testing of network protocols and distributed applications in clusters and networks of workstations. However, to allow...
Rodrigo N. Calheiros, Rajkumar Buyya, César...
IV
2009
IEEE
191views Visualization» more  IV 2009»
16 years 24 days ago
An Heuristic for the Construction of Intersection Graphs
Most methods for generating Euler diagrams describe the detection of the general structure of the final draw as the first and most important step. This information is often depi...
Paolo Simonetto, David Auber