1097 search results - page 117 / 220 » Revision Programming = Logic Programming Integrity Constra... |
143
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents a toolkit for spreadsheet visualization based on logical areas, semantic classes and data Logical areas, semantic classes and data modules are abstract represe...
143
Voted
PPDP
2004
Springer
15 years 8 months ago
2004
Springer
Semi-naive evaluation is an effective technique employed in bottom-up evaluation of logic programs to avoid redundant joins of answers. The impact of this technique on top-down e...
124
Voted
SAMT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Multimodal and dialogue-based mobile interfaces to the Semantic Web offer access to complex knowledge and information structures. We explore more fine-grained co-ordina...
129
Voted
CP
2005
Springer
15 years 9 months ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
93
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Integer octagonal constraints (a.k.a. Unit Two Variables Per Inequality or UTVPI integer constraints) constitute an interesting class of constraints for the representation and solu...