1419 search results - page 32 / 284 » Notes on Formalizing Context |
80
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
The Codex is a dual-screen tablet computer, about the size of a 4"x6" day planner, with a self-supporting binding and embedded sensors. The device can be oriented in a v...
93
Voted
CF
2004
ACM
15 years 4 months ago
2004
ACM
This paper looks at the evolution of the "Memory Wall" problem over the past decade. It begins by reviewing the short Computer Architecture News note that coined the phr...
84
Voted
INTERACT
2003
15 years 1 months ago
2003
: In one study, people are observed to keep web information for later use through many different methods including the use of Bookmarks (or Favorites), self-addressed email, hand-w...
114
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
105
click to vote
RTA
2000
Springer
15 years 4 months ago
2000
Springer
Linear Second-Order Unification and Context Unification are closely related problems. However, their equivalence was never formally proved. Context unification is a restriction of ...