5671 search results - page 975 / 1135 » A Semantic Approach to Interpolation |
162
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. It is well-known that Abstract State Machines (ASMs) can simulate “stepby-step” any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) s...
167
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
173
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
In this paper, we address the problem of database selection for XML document collections, that is, given a set of collections and a user query, how to rank the collections based o...
164
click to vote
ACSC
2009
IEEE
16 years 1 months ago
2009
IEEE
Privacy is today an important concern for both data providers and data users. Data generalization can provide significant protection of an individual’s privacy, which means the...
175
click to vote
CVPR
2009
IEEE
16 years 1 months ago
2009
IEEE
Analyzing videos of human activities involves not only recognizing actions (typically based on their appearances), but also determining the story/plot of the video. The storyline ...