2272 search results - page 94 / 455 » Validity Invariants and Effects |
FMCAD
2008
Springer
13 years 11 months ago
2008
Springer
Abstract-- We consider the problem of optimal netlist simplification in the presence of constraints. Because constraints restrict the reachable states of a netlist, they may enhanc...
LREC
2010
13 years 11 months ago
2010
In this paper, we present several ways to measure and evaluate the annotation and annotators, proposed and used during the building of the Czech part of the Prague Czech-English D...
NIPS
2007
13 years 11 months ago
2007
In this paper we formulate a novel AND/OR graph representation capable of describing the different configurations of deformable articulated objects such as horses. The representa...
PPSN
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Taking inspiration from approximate ranking, this paper investigates the use of rank-based Support Vector Machine as surrogate model within CMA-ES, enforcing the invarian...
ICPR
2010
IEEE
13 years 8 months ago
2010
IEEE
Decomposition of cells in clumps is a difficult segmentation task requiring region splitting techniques. Techniques that do not employ prior shape constraints usually fail to achi...