6652 search results - page 1121 / 1331 » A perspective based approach to design |
189
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Semantic Web technology is intended for the retrieval, collection, and analysis of meaningful data with significant automation afforded by machine understandability of data [1]. A...
184
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
175
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
In large scale online systems like Search, eCommerce, or social network applications, user queries represent an important dimension of activities that can be used to study the imp...
166
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Information retrieval systems, based on keyword match, are evolving to question answering systems that return short passages or direct answers to questions, rather than URLs point...
165
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
So called intractable conflicts may benefit from more modest and socially oriented approaches than those based on classical conflict resolution techniques. This paper is inspired ...