2629 search results - page 289 / 526 » Build a Computer from Scratch |
182
Voted
BIRTHDAY
2005
Springer
16 years 20 days ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
188
click to vote
CW
2003
IEEE
16 years 12 days ago
2003
IEEE
Current BtoC recommendation services utilize consumers’ purchased log as criteria for selecting information, yet it includes little information of the reason why he bought the i...
159
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we present a robust software infrastructure for metacomputing. The system is intended to be used by others as a building block for large and powerful computational g...
216
click to vote
VRML
1998
ACM
15 years 11 months ago
1998
ACM
The Virtual Reality Modeling Language (VRML) and the World Wide Web (WWW) offer new opportunities to communicate an architect’s design intent throughout the design process. We h...
173
click to vote
BIRTHDAY
1994
Springer
15 years 11 months ago
1994
Springer
Cook's construction from 1971 [4] shows that any two-way deterministic pushdown automaton (2DPDA) can be simulated in time O(n), where n is the length of its input string, and...