2766 search results - page 117 / 554 » Hybridizing a Logical Framework |
139
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...
135
click to vote
IJRR
2007
15 years 4 months ago
2007
This paper proposes a real-time, robust and effective tracking framework for visual servoing applications. The algorithm is based on the fusion of visual cues and on the estimatio...
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Slow oscillations, with a period of around 15 minutes, were observed in an 11kV electrical distribution system. Investigations determined that the oscillations were a result of in...
129
click to vote
ISPD
2000
ACM
15 years 8 months ago
2000
ACM
In this paper, we present an algorithm for delay minimization of interconnect trees by simultaneous buffer insertion/sizing and wire sizing. The algorithm integrates the quadratic...
102
click to vote
ICMLA
2007
15 years 5 months ago
2007
Given any generative classifier based on an inexact density model, we can define a discriminative counterpart that reduces its asymptotic error rate, while increasing the estima...