3731 search results - page 736 / 747 » cases 2006 |
CONSTRAINTS
2006
15 years 8 days ago
2006
Abstract. The heavy-tailed phenomenon that characterises the runtime distributions of backtrack search procedures has received considerable attention over the past few years. Some ...
COR
2006
15 years 8 days ago
2006
This paper analyzes a legendary Chinese horse race problem involving the King of Qi and General Tianji which took place more than 2000 years ago. In this problem each player owns ...
108
click to vote
CORR
2006
Springer
15 years 8 days ago
2006
Springer
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
110
click to vote
CORR
2006
Springer
15 years 8 days ago
2006
Springer
Cultural heritage documentation induces the use of computerized techniques to manage and preserve the information produced. Geographical information systems have proved their pote...
99
Voted
CORR
2006
Springer
15 years 8 days ago
2006
Springer
for an informal presentation at CIE 2007 [2] is a typed -calculus that pursues the reuse of the term constructions both at the level of types and at the level of contexts, while en...