783 search results - page 60 / 157 » A Framework for Exploring Optimization Properties |
136
click to vote
PLILP
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...
141
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Detecting contour closure, i.e., finding a cycle of disconnected contour fragments that separates an object from its background, is an important problem in perceptual gro...
126
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Conditional logics capture default entailment in a modal framework in which non-monotonic implication is a first-class citizen, and in particular can be negated and nested. There i...
118
click to vote
DC
2007
15 years 3 months ago
2007
We present a randomizedself-stabilizing leaderelection protocol and a randomizedself-stabilizing token circulation protocol under an arbitrary scheduler on anonymous and unidirect...
103
click to vote
NIPS
2007
15 years 5 months ago
2007
Sound localization by barn owls is commonly modeled as a matching procedure where localization cues derived from auditory inputs are compared to stored templates. While the matchi...