Sciweavers

3937 search results - page 563 / 788
» Questioning Ubiquitous Computing
Sort
View
116
Voted
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 6 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
SIGCOMM
2010
ACM
15 years 2 months ago
NeuroPhone: brain-mobile phone interface using a wireless EEG headset
Neural signals are everywhere just like mobile phones. We propose to use neural signals to control mobile phones for hands-free, silent and effortless human-mobile interaction. Un...
Andrew T. Campbell, Tanzeem Choudhury, Shaohan Hu,...

Publication
317views
17 years 19 days ago
A Detailed Analysis of How an Urban Trail System Affects the Travel of Cyclists
Transportation specialists, urban planners, and public health officials have been steadfast in encouraging active modes of transportation over the past decades. Conventional thin...
Kevin J. Krizek, Ahmed El-Geneidy, Kristin Thompso...
WWW
2009
ACM
16 years 3 months ago
Measuring the similarity between implicit semantic relations from the web
Measuring the similarity between semantic relations that hold among entities is an important and necessary step in various Web related tasks such as relation extraction, informati...
Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuk...
124
Voted
KDD
2002
ACM
182views Data Mining» more  KDD 2002»
16 years 3 months ago
ANF: a fast and scalable tool for data mining in massive graphs
Graphs are an increasingly important data source, with such important graphs as the Internet and the Web. Other familiar graphs include CAD circuits, phone records, gene sequences...
Christopher R. Palmer, Phillip B. Gibbons, Christo...