2410 search results - page 182 / 482 » Multiset Ordering Constraints |
214
click to vote
ACMICEC
2005
ACM
16 years 18 days ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
177
Voted
CP
2005
Springer
16 years 17 days ago
2005
Springer
This paper describes an efficient, complete approach for solving a complex allocation and scheduling problem for Multi-Processor System-on-Chip (MPSoC). Given a throughput constra...
179
Voted
LPNMR
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. We associate optimality theory with abduction and preference handling. We present linguistic problems that appear in the study of dialects as new application of abduction...
193
Voted
PPDP
2005
Springer
16 years 15 days ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
177
Voted
EKAW
2004
Springer
16 years 12 days ago
2004
Springer
Motivated by the need to extend features of semantic matchmaking between request and offer descriptions, a model is presented that exploits recently proposed non-standard inference...