3709 search results - page 501 / 742 » Supporting experimentation with Side-Views |
160
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
185
click to vote
INFOSCALE
2007
ACM
15 years 8 months ago
2007
ACM
Searching for non-text data (e.g., images) is mostly done by means of metadata annotations or by extracting the text close to the data. However, supporting real content-based audi...
179
click to vote
ACL
2008
15 years 8 months ago
2008
This paper presents a translation model that is based on tree sequence alignment, where a tree sequence refers to a single sequence of subtrees that covers a phrase. The model lev...
167
click to vote
ACL
2007
15 years 8 months ago
2007
This paper presents an application of PageRank, a random-walk model originally devised for ranking Web search results, to ranking WordNet synsets in terms of how strongly they pos...
159
click to vote
BCSHCI
2007
15 years 8 months ago
2007
We describe a framework for characterizing people’s behavior with Digital Live Art. Our framework considers people’s wittingness, technical skill, and interpretive abilities i...