Sciweavers

1385 search results - page 121 / 277
» Natural Rewriting for General Term Rewriting Systems
Sort
View
LPNMR
2009
Springer
15 years 11 months ago
Manifold Answer-Set Programs for Meta-reasoning
Abstract. In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple re...
Wolfgang Faber, Stefan Woltran
SIGGRAPH
2010
ACM
15 years 11 months ago
A connection between partial symmetry and inverse procedural modeling
In this paper, we address the problem of inverse procedural modeling: Given a piece of exemplar 3D geometry, we would like to find a set of rules that describe objects that are s...
Martin Bokeloh, Michael Wand, Hans-Peter Seidel
FP
1992
135views Formal Methods» more  FP 1992»
15 years 10 months ago
High Level Specification of I/O in Functional Languages
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....
Peter Achten, John H. G. van Groningen, Marinus J....
TSMC
2008
102views more  TSMC 2008»
15 years 6 months ago
Generalized Cost-Function-Based Forecasting for Periodically Measured Nonstationary Traffic
Abstract-- In this paper, we address the issue of forecasting for periodically measured nonstationary traffic based on statistical time series modeling. Often with time series base...
Balaji Krithikaivasan, Yong Zeng, Deep Medhi
CDC
2009
IEEE
137views Control Systems» more  CDC 2009»
15 years 11 months ago
Important moments in systems, control and optimization
— The moment problem matured from its various special forms in the late 19th and early 20th Centuries to a general class of problems that continues to exert profound influence o...
Christopher I. Byrnes, Anders Lindquist