7773 search results - page 443 / 1555 » On generalized Frame-Stewart numbers |
195
click to vote
AAAI
2000
15 years 8 months ago
2000
We present a general algorithm for synthesizing state invariants that speed up automated planners and have other applications in reasoning about change. Invariants are facts that ...
146
click to vote
AAAI
2000
15 years 8 months ago
2000
We perform an extensive theoretical and empirical analysis of the use of auxiliary variables and implied constraints in modelling a class of non-binary constraint satisfaction pro...
142
click to vote
COLING
1996
15 years 8 months ago
1996
This paper extends the calculus of regular expressions with new types of replacement expressions that enhance the expressiveness of the simple replace operator defined in Karttune...
260
click to vote
AINA
2007
IEEE
15 years 7 months ago
2007
IEEE
With an increasing number of vehicles equipped with embedded computing platforms and advanced wireless technology, general purpose vehicle telematics applications are highly promi...
185
click to vote
AMC
2008
15 years 7 months ago
2008
In this paper, a general framework for the analysis of a connection between the training of artificial neural networks via the dynamics of Markov chains and the approximation of c...