12841 search results - page 268 / 2569 » PL-detective: experiences and results |
156
click to vote
DSD
2009
IEEE
16 years 1 months ago
2009
IEEE
—We present experiments with synthesis tools using examples which are currently believed to be very hard, namely the LEKU examples by Cong and Minkovich and parity examples of ou...
108
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents the design of a novel robotic system capable of long-term benthic sampling along a transect. The robot is built to traverse back and forth along a mechanica...
218
click to vote
WADS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Algorithms or target functions for graph clustering rarely admit quality guarantees or optimal results in general. Based on properties of minimum-cut trees, a clustering ...
172
click to vote
IWSOS
2009
Springer
16 years 1 months ago
2009
Springer
We present a new distributed algorithm for creating and maintaining power-efficient topologies in a wireless network. The wireless nodes establish links to neighbouring nodes in a ...
159
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this article we present results from experiments where a edge detector was learned from scratch by EANT2, a method for evolutionary reinforcement learning. The detector is c...