351 search results - page 56 / 71 » Classical Logic with Partial Functions |
RTA
2009
Springer
15 years 4 months ago
2009
Springer
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form (L, R, τ, σ) such that L and R are termgraphs represen...
ICRA
2007
IEEE
15 years 3 months ago
2007
IEEE
— Classical path planning does not address many of the challenges of robotic systems subject to differential constraints. While there have been many recent efforts to develop mot...
ISIPTA
2005
IEEE
15 years 3 months ago
2005
IEEE
The paper presents an efficient solution to decision problems where direct partial information on the distribution of the states of nature is available, either by observations of ...
PPSN
2004
Springer
15 years 3 months ago
2004
Springer
Different credit assignment strategies are investigated in a two level co-evolutionary model which involves a population of Gaussian neurons and a population of radial basis funct...
100
click to vote
NDSS
2003
IEEE
15 years 2 months ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...