2190 search results - page 309 / 438 » An optimal algorithm to generate tilings |
167
click to vote
ICLP
2005
Springer
16 years 7 days ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
191
click to vote
IJCNLP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We build a class-based selection preference sub-model to incorporate external semantic knowledge from two Chinese electronic semantic dictionaries. This sub-model is comb...
162
click to vote
ISCIS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Based on a distinguishing sequence for a Finite State Machine (FSM), an efficient checking sequence may be produced from the elements of a set Eα of α –sequences and ...
202
click to vote
MDM
2004
Springer
16 years 2 days ago
2004
Springer
The decoupling of producers and consumers in time and space in the publish/subscribe paradigm lends itself well to the support of mobile users who roam about the environment and h...
169
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...