6456 search results - page 59 / 1292 » Constraint Solving on Terms |
111
Voted
CONSTRAINTS
2010
14 years 10 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
110
click to vote
CAEPIA
2003
Springer
15 years 6 months ago
2003
Springer
This paper describes a time-series prediction method based on the kNN technique. The proposed methodology is applied to the 24hour load forecasting problem. Also, based on recorded...
112
click to vote
CCL
1994
Springer
15 years 4 months ago
1994
Springer
We introduce a modular property of equational proofs, called modularity of normalization, for the union of term rewrite systems with shared symbols. The idea is, that every normali...
78
Voted
ACL
2006
15 years 2 months ago
2006
Due to the historical and cultural reasons, English phases, especially the proper nouns and new words, frequently appear in Web pages written primarily in Asian languages such as ...
80
Voted
CP
2007
Springer
15 years 7 months ago
2007
Springer
Salinity is the relative concentration of salts in water. In a city of southern China, the local water supply company pumps water from a nearby river for potable use. During the wi...