Sciweavers

2694 search results - page 8 / 539
» Frege's New Science
Sort
View
CAD
2006
Springer
14 years 11 months ago
A new modeling interface for the pen-input displays
Dae Hyun Kim, Myoung-Jun Kim
CAINE
2010
14 years 9 months ago
A New Approach for Time Series Forecasting based on Genetic Algorithm
Mahesh Khadka, Benjamin Popp, Kayikkalthop M. Geor...
CP
2004
Springer
15 years 5 months ago
Constraint Propagation as a Proof System
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
Albert Atserias, Phokion G. Kolaitis, Moshe Y. Var...