6456 search results - page 51 / 1292 » Constraint Solving on Terms |
104
click to vote
SAC
2010
ACM
15 years 29 days ago
2010
ACM
Voltage islanding technique in Network-on-Chip (NoC) can significantly reduce the computational energy consumption by scaling down the voltage levels of the processing elements (P...
104
Voted
ICTAI
1996
IEEE
15 years 5 months ago
1996
IEEE
We describe constraint solving using a rule-based approach. The distinction made between deduction rules and strategies by computational systems allows us to improve our understan...
148
Voted
ICTAI
2009
IEEE
14 years 10 months ago
2009
IEEE
We propose a new method for solving structured CSPs which generalizes and improves the Cyclic-Clustering approach [4]. First, the cutset and the tree-decomposition of the constrai...
89
Voted
ICTIR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Most of the previous research on term weighting for information retrieval has focused on developing specialized parametric term weighting functions. Examples include TF.I...
117
click to vote
MSCS
2007
15 years 8 days ago
2007
Introduced at the end of the nineties, the Rewriting Calculus (ρ-calculus, for short) is a simple calculus that fully integrates term-rewriting and λ-calculus. The rewrite rules...