11374 search results - page 2235 / 2275 » Demonstration of the CROSSMARC System |
140
click to vote
IASTEDSEA
2004
15 years 3 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
113
click to vote
ACL
2003
15 years 3 months ago
2003
Recent text and speech processing applications such as speech mining raise new and more general problems related to the construction of language models. We present and describe in...
120
click to vote
AIPS
2003
15 years 3 months ago
2003
As genomic and proteomic data is collected from highthroughput methods on a daily basis, subcellular components are identified and their in vitro behavior is characterized. Howev...
118
click to vote
DLOG
2003
15 years 3 months ago
2003
The Wine Agent is a demonstration system that uses an underlying domain ontology to provide suitable wines for a given meal. In doing so it serves as a testbed, not only for the l...
131
click to vote
NETWORKING
2004
15 years 3 months ago
2004
BGP, the de facto inter-domain routing protocol, is the core component of current Internet infrastructure. BGP traffic deserves thorough exploration, since abnormal BGP routing dy...