2374 search results - page 436 / 475 » Automatic Generation of Model Translations |
120
click to vote
KDD
2007
ACM
16 years 2 months ago
2007
ACM
Metasearch engine, Comparison-shopping and Deep Web crawling applications need to extract search result records enwrapped in result pages returned from search engines in response ...
124
click to vote
VLSID
2003
IEEE
16 years 2 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
124
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
188
click to vote
VLDB
2004
ACM
16 years 2 months ago
2004
ACM
Abstract. In dynamic environments like the Web, data sources may change not only their data but also their schemas, their semantics, and their query capabilities.When a mapping is ...
124
click to vote
DCC
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we propose a new motion compensated prediction technique that enables successful predictive encoding during fades, blended scenes, temporally decorrelated noise, and...