1382 search results - page 102 / 277 » Term ordering problem on MDG |
83
Voted
KGC
1993
Springer
15 years 4 months ago
1993
Springer
We provide a logical speci cation of set predicates ndall and bagof of Prolog. The speci cation is given in proof theoretic terms, and pertains to any SLD resolution based language...
110
click to vote
AHS
2007
IEEE
15 years 4 months ago
2007
IEEE
In the system-on-chip (SoC) era, the growing number of functionalities included on a single chip requires the development of new design methodologies to keep the design complexity...
79
Voted
PPSN
2000
Springer
15 years 4 months ago
2000
Springer
Many bacteria carry gene complexes that code for a toxin-antidote pair, e.g. colicin systems. Such gene complexes can be advantageous for its host by killing competitor bacteria wh...
75
Voted
CHI
2010
ACM
15 years 4 months ago
2010
ACM
Many women find it difficult to maintain beautiful skin since different skincare approaches require different amounts of effort, time, and special knowledge. Women often ask exper...
99
Voted
DOCENG
2005
ACM
15 years 2 months ago
2005
ACM
Information Retrieval systems are limited by the linguistic variation of language. The use of Natural Language Processing techniques to manage this problem has been studied for a ...