13734 search results - page 103 / 2747 » Abstractions of data types |
192
Voted
SIGMOD
2005
ACM
16 years 2 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...
138
Voted
IVA
2005
Springer
15 years 8 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 ...
125
Voted
TC
1998
15 years 2 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...
106
Voted
EDBT
2010
ACM
15 years 6 months 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...
131
Voted
ICFP
2010
ACM
15 years 3 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. ...