Sciweavers

1224 search results - page 109 / 245
» Theory decision by decomposition
Sort
View
CONIELECOMP
2006
IEEE
15 years 6 months ago
Chaotic Time Series Approximation Using Iterative Wavelet-Networks
This paper presents a wavelet neural-network for learning and approximation of chaotic time series. Wavelet-networks are inspired by both feed-forward neural networks and the theo...
E. S. Garcia-Trevino, Vicente Alarcón Aquin...
100
Voted
ACMSE
2006
ACM
15 years 6 months ago
Controlling the entire path of a virtual camera
This paper considers the design of a camera path through a scene. Given a valid set of keyframes for the camera, we want to build a camera path that avoids collisions with the sce...
Ross Ptacek, John K. Johnstone
AUSAI
2004
Springer
15 years 6 months ago
A Comparison of BDI Based Real-Time Reasoning and HTN Based Planning
The Belief-Desire-Intention (BDI) model of agency is an architecture based on Bratman’s theory of practical reasoning. Hierarchical Task Network (HTN) decomposition on the other ...
Lavindra de Silva, Lin Padgham
LPAR
2001
Springer
15 years 5 months ago
A Local System for Classical Logic
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
Kai Brünnler, Alwen Fernanto Tiu
76
Voted
ALP
1990
Springer
15 years 4 months ago
Equation Solving in Conditional AC-Theories
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
Nachum Dershowitz, Subrata Mitra, G. Sivakumar