448 search results - page 68 / 90 » Obstacle avoidance in formation |
134
click to vote
ILP
2007
Springer
15 years 8 months ago
2007
Springer
Mode declarations are a successful form of language bias in explanatory ILP. But, while they are heavily used in Horn systems, they have yet to be similarly exploited in more expre...
ARITH
2005
IEEE
15 years 7 months ago
2005
IEEE
We are proposing a micro-architecture for highperformance IEEE floating-point addition that is based on a (non-redundant)high-radix representation of the floatingpoint operands....
ESOP
2004
Springer
15 years 7 months ago
2004
Springer
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This paper presents an approac...
91
Voted
ECAL
2003
Springer
15 years 7 months ago
2003
Springer
An agent-based approach is used to explain the formation of vortex swarms in biological systems. The dynamics of the multiagent system is described by 3N coupled equations, modeli...
100
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
In this paper, we present a novel all-solutions preimage SAT solver, SOLALL, with the following features: (1) a new success-driven learning algorithm employing smaller cut sets; (...