2806 search results - page 279 / 562 » BML and Related Tools |
169
Voted
CAISE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper describes the AutoMed repository and some associated tools, which provide the first implementation of the both as view (BAV) approach to data integration. Apa...
165
click to vote
ISCIS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
160
click to vote
SAMOS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
123
click to vote
SAT
2004
Springer
16 years 2 days ago
2004
Springer
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework...
148
click to vote
DEXAW
2003
IEEE
16 years 20 hour ago
2003
IEEE
An essential problem for biologists is the processing and evaluation of BLAST results. We advocate the deployment of database technology and describe a userdriven tool, called Bla...