Sciweavers

3937 search results - page 281 / 788
» Questioning Ubiquitous Computing
Sort
View
BIRTHDAY
2010
Springer
15 years 2 months ago
A Logic for PTIME and a Parameterized Halting Problem
In [7] Nash, Remmel, and Vianu have raised the question whether a logic L, already introduced by Gurevich in 1988, captures polynomial time, and they give a reformulation of this ...
Yijia Chen, Jörg Flum
COLING
2010
14 years 11 months ago
A Multiple-Domain Ontology Builder
The interpretation of a multiple-domain text corpus as a single ontology leads to misconceptions. This is because some concepts may be syntactically equal; though, they are semant...
Sara Salem, Samir AbdelRahman
PAM
2011
Springer
14 years 7 months ago
On the Potential of Fixed-Beam 60 GHz Network Interfaces in Mobile Devices
The small form-factor and significantly high bandwidth of 60 GHz wireless network interfaces make them an attractive technology for future bandwidth-hungry mobile devices. To ove...
Kishore Ramachandran, Ravi Kokku, Rajesh Mahindra,...
SOFSEM
2012
Springer
14 years 11 days ago
Iterated Hairpin Completions of Non-crossing Words
Abstract. Iterated hairpin completion is an operation on formal languages that is inspired by the hairpin formation in DNA biochemistry. Iterated hairpin completion of a word (or m...
Lila Kari, Steffen Kopecki, Shinnosuke Seki
CHI
2005
ACM
16 years 5 months ago
Reach: dynamic textile patterns for communication and social expression
In the research project `Reach', we investigate the potential for new forms of communication and expression to be incorporated dynamically and interactively into the things t...
Margot Jacobs, Linda Worbin