2771 search results - page 517 / 555 » Advances in Document Engineering |
109
click to vote
CHI
2006
ACM
15 years 10 months ago
2006
ACM
We have recently begun to see hardware support for the tabletop user interface, offering a number of new ways for humans to interact with computers. Tabletops offer great potentia...
111
Voted
ICFP
2005
ACM
15 years 10 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
WSDM
2010
ACM
15 years 7 months ago
2010
ACM
Recent advances in click model have positioned it as an attractive method for representing user preferences in web search and online advertising. Yet, most of the existing works f...
ICCD
2005
IEEE
15 years 7 months ago
2005
IEEE
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
ICCAD
2003
IEEE
15 years 7 months ago
2003
IEEE
Placement is one of the most important steps in the RTLto-GDSII synthesis process, as it directly defines the interconnects, which have become the bottleneck in circuit and syste...