1977 search results - page 243 / 396 » Representing Views in XML |
172
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
192
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
We present a novel data-driven algorithm that leverages online image repositories such as Flickr for automatically generating tourist maps. Our hypothesis is that, given a large e...
184
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
Multi-Document Summarization deals with computing a summary for a set of related articles such that they give the user a general view about the events. One of the objectives is th...
124
click to vote
ICSM
2007
IEEE
16 years 28 days ago
2007
IEEE
Large object-oriented applications are structured over large number of packages. Packages are important but complex structural entities that may be difficult to understand since ...
182
click to vote
CSMR
2006
IEEE
16 years 21 days ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...