2373 search results - page 92 / 475 » On the Theory of Structural Subtyping |
182
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Microarray devices permit a genome-scale evaluation of gene function. This technology has catalyzed biomedical research and development in recent years. As many import...
145
click to vote
COCO
2001
Springer
15 years 11 months ago
2001
Springer
We use hypotheses of structural complexity theory to separate various NP-completeness notions. In particular, we introduce an hypothesis from which we describe a set in NP that is...
130
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
There has been an increasing interest in developing computational theories of autonomous robots. However the previous work has focused on intelligent modifications to internal com...
161
click to vote
AAAI
2008
15 years 8 months ago
2008
The ADROIT system that we are developing allows automatic discourse analysis of information rich natural language texts extracted directly from the web. We use guidelines and rela...
174
click to vote
FROCOS
2007
Springer
16 years 18 days ago
2007
Springer
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...