3693 search results - page 243 / 739 » Splitting a Logic Program |
136
click to vote
AINA
2009
IEEE
15 years 10 months ago
2009
IEEE
This work describes a generic database service for the lightweight Venice Service Grid, which has been developed at the University of Kaiserslautern, Germany. By using Web service...
130
Voted
POPL
1997
ACM
15 years 8 months ago
1997
ACM
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
152
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
: We propose a new algorithm to the problem of polygonal curve approximation based on a multiresolution approach. This algorithm is suboptimal but still maintains some optimality b...
126
click to vote
TAP
2008
Springer
15 years 5 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
281
click to vote
Book
The book is an introduction to elementary computational linguistics from the point of view of logic programming.