4325 search results - page 339 / 865 » Incremental computation with names |
172
click to vote
EDBT
2004
ACM
16 years 7 months ago
2004
ACM
Abstract. As XML schemas evolve over time or as applications are integrated, it is sometimes necessary to validate an XML document known to conform to one schema with respect to an...
177
click to vote
EDBT
2006
ACM
16 years 7 months ago
2006
ACM
Skyline queries help users make intelligent decisions over complex data, where different and often conflicting criteria are considered. Current skyline computation methods are rest...
150
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
We describe an approach to automate certain highlevel implementation decisions in a pervasive application, allowing them to be postponed until run time. Our system enables a model...
146
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
— In this paper, we present a comprehensive energy estimation framework for software executing on Very Long Instruction Word (VLIW) processor cores. The proposed energy model is ...
166
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Our study addresses the problem of large-scale contradiction detection and management, from data extracted from the Web. We describe the first systematic solution to the problem,...