13734 search results - page 103 / 2747 » Abstractions of data types |
SIGMOD
2005
ACM
14 years 9 months ago
2005
ACM
straction for Information Management Michael Franklin University of California, Berkeley Alon Halevy Google Inc. and U. Washington David Maier Portland State University The develo...
IVA
2005
Springer
14 years 2 months ago
2005
Springer
this is via the ”Motion Abstraction”. This is a single abstraction that represents any type of animation of a character. Different implementations of the ion can provide very ...
TC
1998
13 years 8 months ago
1998
Abstract—A widely used bus-encryption microprocessor is vulnerable to a new practical attack. This type of processor decrypts onthe-fly while fetching code and data, which are st...
EDBT
2010
ACM
14 years 8 days ago
2010
ACM
Entity search, a significant departure from page-based retrieval, finds data, i.e., entities, embedded in documents directly and holistically across the whole collection. This pap...
ICFP
2010
ACM
13 years 10 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...