6562 search results - page 302 / 1313 » Noetherianity and Combination Problems |
190
click to vote
PPDP
1999
Springer
15 years 11 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the rst modeling language to combine high-level algebraic and set notations f...
170
click to vote
PLILP
1998
Springer
15 years 11 months ago
1998
Springer
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
173
click to vote
CICLING
2004
Springer
15 years 10 months ago
2004
Springer
The compound nouns are freely composed in Korean, since it is possible to concatenate independent nouns without a postposition. Therefore, the systems that handle compound nouns su...
189
Voted
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
Automatic semantic classification of video databases is very useful for users searching and browsing but it is a very challenging research problem as well. Combination of visual an...
166
click to vote
LPAR
2000
Springer
15 years 10 months ago
2000
Springer
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...