4666 search results - page 686 / 934 » Equations on Timed Languages |
220
click to vote
CIVR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper presents a novel method of automatic image semantic annotation. Our approach is based on the Image-Keyword Document Model (IKDM) with image features discretiza...
166
click to vote
CP
2005
Springer
16 years 7 days ago
2005
Springer
Many problems of theoretical and practical interest can be formulated as Constraint Satisfaction Problems (CSPs). The general CSP is known to be NP-complete; however, distributed m...
183
click to vote
CP
2005
Springer
16 years 7 days ago
2005
Springer
We consider the problem of encoding Boolean cardinality constraints in conjunctive normal form (CNF). Boolean cardinality constraints are formulae expressing that at most (resp. at...
189
click to vote
CSCLP
2005
Springer
16 years 7 days ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
208
click to vote
DEXA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Data intensive information is often published on the internet in the format of HTML tables. Extracting some of the information that is of users’ interest from the inter...