Sciweavers

777 search results - page 47 / 156
» presence 2010
Sort
View
ECCV
2010
Springer
15 years 2 months ago
Fast dynamic texture detection
Dynamic textures can be considered to be spatio-temporally varying visual patterns in image sequences with certain temporal regularity. We propose a novel and efficient approach t...
92
Voted
SAC
2010
ACM
15 years 2 months ago
Scalable analysis of collective behaviour in smart service systems
The long term vision of smart service systems in which electronic environments are made sensitive and responsive to the presence of, possibly many, people is gradually taking shap...
Mieke Massink, Michael D. Harrison, Diego Latella
101
Voted
ADHOCNOW
2010
Springer
15 years 2 months ago
On Alarm Protocol in Wireless Sensor Networks
We consider the problem of efficient alarm protocol for ad-hoc radio networks consisting of devices that try to gain access for transmission through a shared radio communication ch...
Jacek Cichon, Rafal Kapelko, Jakub Lemiesz, Marcin...
BIBE
2010
IEEE
181views Bioinformatics» more  BIBE 2010»
15 years 1 months ago
Multi Level Clustering of Phylogenetic Profiles
The prediction of gene function from genome sequences is one of the main issues in Bioinformatics. Most computational approaches are based on the similarity between sequences to in...
Fotis E. Psomopoulos, Pericles A. Mitkas
CADE
2010
Springer
15 years 1 months ago
Analytic Tableaux for Higher-Order Logic with Choice
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
Julian Backes, Chad E. Brown