173 search results - page 21 / 35 » Processes for Adhesive Rewriting Systems |
SIGMOD
2003
ACM
15 years 12 months ago
2003
ACM
To truly meet the requirements of multimedia database (MMDB) management, an integrated framework for modeling, managing and retrieving various kinds of media data in a uniform way...
101
click to vote
DEXAW
2007
IEEE
15 years 6 months ago
2007
IEEE
The semantic web represents meta-data as a relation of triples using the RDF data model. We have developed a virtual repository system that enables to process queries to RDF views...
114
click to vote
LRE
2006
14 years 11 months ago
2006
Web searchers reformulate their queries, as they adapt to search engine behavior, learn more about a topic, or simply correct typing errors. Automatic query rewriting can help user...
109
click to vote
CADE
2004
Springer
16 years 17 hour ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
104
click to vote
ASPDAC
2009
ACM
15 years 4 months ago
2009
ACM
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...