11740 search results - page 426 / 2348 » More Problems in Rewriting |
176
click to vote
ILP
2000
Springer
15 years 10 months ago
2000
Springer
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...
183
click to vote
ARVLSI
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper presents a method for the optimal state assignment of asynchronous state machines. Unlike state assignment for synchronous state machines, state codes must be chosen ca...
173
click to vote
COSIT
1995
Springer
15 years 10 months ago
1995
Springer
: Various algorithms have been proposed for the determination of the optimum paths in line networks. Moving in space is a far more complex problem, where research has been scarce. ...
173
click to vote
ICML
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper presents an approach to automatic discovery of functions in Genetic Programming. The approach is based on discovery of useful building blocks by analyzing the evolution...
200
click to vote
IPSN
2010
Springer
15 years 8 months ago
2010
Springer
Mobile sensor nodes can be used for a wide variety of applications such as social networks and location tracking. An important requirement for all such applications is that the mo...