11022 search results - page 394 / 2205 » Programming Systems for Autonomy |
201
Voted
SAINT
2006
IEEE
16 years 26 days ago
2006
IEEE
1 Establishing suitable programming models for pervasive spaces is essential in improving the productivity, enhancing the quality of pervasive systems, and creating an open platfor...
160
Voted
LPNMR
2005
Springer
16 years 11 days ago
2005
Springer
In this work we describe a system for determining strong equivalence of disjunctive non-ground datalog programs under the stable model semantics. The problem is tackled by reducing...
147
click to vote
VMCAI
2005
Springer
16 years 10 days ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ï...
198
click to vote
JELIA
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...
155
click to vote
WLP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...