3775 search results - page 172 / 755 » The Expression Problem Revisited |
122
click to vote
IPL
2000
15 years 3 months ago
2000
We show that stratified context unification, which is one of the most expressive fragments of context unification known to be decidable, is equivalent to the satisfiability proble...
106
click to vote
DBPL
2007
Springer
15 years 10 months ago
2007
Springer
Martens et al. defined a pattern-based specification language equivalent in expressive power to the widely adopted XML Schema definitions (XSDs). This language consists of rules...
129
click to vote
EVOW
2005
Springer
15 years 9 months ago
2005
Springer
In this work, we address the biclustering of gene expression data with evolutionary computation, which has been proven to have excellent performance on complex problems. In express...
148
click to vote
TEX
2004
Springer
15 years 9 months ago
2004
Springer
What problems do e-documents with mathematical expressions in an Arabic presentation present? In addition to the known difficulties of handling mathematical expressions based on L...
125
click to vote
AAAI
2000
15 years 5 months ago
2000
We analyze a corpus of referring expressions collected from user interactions with a multimodal travel guide application. The analysis suggests that, in dramatic contrast to norma...