3106 search results - page 436 / 622 » Both Generic Design and Different Forms of Designing |
139
click to vote
CHI
2000
ACM
15 years 10 months ago
2000
ACM
Fluid Documents incorporate additional information into a page by adjusting typography using interactive animation. One application is to support hypertext browsing by providing g...
146
click to vote
FMSD
2006
15 years 5 months ago
2006
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...
150
click to vote
IUI
2010
ACM
16 years 2 months ago
2010
ACM
We present an extension of a computational cognitive model of social tagging and exploratory search called the semantic imitation model. The model assumes a probabilistic represen...
166
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Centralized Resource Description Framework (RDF) repositories have limitations both in their failure tolerance and in their scalability. Existing Peer-to-Peer (P2P) RDF repositori...
137
click to vote
HPCA
2005
IEEE
16 years 5 months ago
2005
IEEE
Simultaneous multithreading (SMT) and chip multiprocessing (CMP) both allow a chip to achieve greater throughput, but their relative energy-efficiency and thermal properties are s...