10899 search results - page 445 / 2180 » The GP Programming System |
205
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
We show how to combine the two most powerful approaches for automated termination analysis of logic programs (LPs): the direct approach which operates directly on LPs and the trans...
151
click to vote
ACISICIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Dedicated machine constraint is one of the new challenges introduced in photolithography machinery of the semiconductor manufacturing system due to natural bias. Previous research...
234
click to vote
AE
2007
Springer
16 years 1 months ago
2007
Springer
The work presented in this paper is part of the development of a robotic system able to learn context dependent visual clues to navigate in its environment. We focus on the obstacl...
161
click to vote
IAT
2006
IEEE
16 years 29 days ago
2006
IEEE
We present a new approach to distributed problem solving based on high-level program execution. While this technique has proven itself for single-agent systems based on the Golog ...
159
click to vote
SAC
2006
ACM
16 years 26 days ago
2006
ACM
Denial-of-Service (DoS) attacks are a major concern for modern distributed applications. They exploit weakness in the software in order to make it unavailable to well-behaved user...