2229 search results - page 191 / 446 » Abstract Storage Devices |
136
click to vote
DEXAW
1999
IEEE
15 years 6 months ago
1999
IEEE
With the growing significance of digital libraries and the Internet, more and more electronic texts become accessible to a wide and geographically disperse public. This requires a...
120
click to vote
ICWN
2007
15 years 3 months ago
2007
Abstract MIT Technology Review lists sensor networks as one of “Ten Emerging Technologies That Will Change the World” [1]. This paper extends our earlier paper [7], and describ...
SIGIR
2008
ACM
15 years 2 months ago
2008
ACM
Over the years, the notion of concept relatedness has attracted considerable attention. A variety of approaches, based on ontology structure, information content, association, or ...
110
Voted
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
109
Voted
AUTOMOTIVEUI
2009
ACM
15 years 9 months ago
2009
ACM
In this paper we present an approach for creating user infrom abstract representations for the automotive domain. The approach is based on transformations between different user ...