173 search results - page 21 / 35 » Processes for Adhesive Rewriting Systems |
111
click to vote
SIGMOD
2003
ACM
16 years 2 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...
116
click to vote
DEXAW
2007
IEEE
15 years 8 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...
136
click to vote
LRE
2006
15 years 1 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...
127
click to vote
CADE
2004
Springer
16 years 2 months 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 ...
126
Voted
ASPDAC
2009
ACM
15 years 6 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...