5216 search results - page 726 / 1044 » Planning as Model Checking |
158
click to vote
ICALP
2007
Springer
16 years 23 days ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
206
click to vote
ICIC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Using the classical Parzen window (PW) estimate as the target function, the sparse kernel density estimator is constructed in a forward constrained regression manner. The...
155
click to vote
SAS
2007
Springer
16 years 22 days ago
2007
Springer
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...
189
click to vote
TRUSTBUS
2007
Springer
16 years 22 days ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
175
click to vote
CIMCA
2006
IEEE
16 years 21 days ago
2006
IEEE
: In the adaptive fuzzy control field for affine nonlinear systems, there are two basic configurations: direct and indirect. It is well known that the direct configuration needs mo...