3130 search results - page 328 / 626 » Design Correctness of Digital Systems |
190
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
Today, a number of algorithms exist for constructing tag hierarchies from social tagging data. While these algorithms were designed with ontological goals in mind, we know very li...
202
click to vote
UIST
2009
ACM
16 years 1 months ago
2009
ACM
We present Bonfire, a self-contained mobile computing system that uses two laptop-mounted laser micro-projectors to project an interactive display space to either side of a laptop...
178
click to vote
IPSN
2007
Springer
16 years 26 days ago
2007
Springer
Sensor location information is a prerequisite to the utility of most sensor networks. In this paper we present a robust and low-complexity algorithm to self-localize and orient se...
220
click to vote
VEE
2006
ACM
16 years 20 days ago
2006
ACM
Software Dynamic Translation (SDT) systems have been used for program instrumentation, dynamic optimization, security policy enforcement, intrusion detection, and many other uses....
278
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Traditional desktop search engines only support keyword based search that needs exact keyword matching to find resources. However, users generally have a vague picture of what is...