Sciweavers

2291 search results - page 376 / 459
» Representational Reasoning and Verification
Sort
View
TKDE
2012
208views Formal Methods» more  TKDE 2012»
11 years 10 months ago
A Knowledge-Driven Approach to Activity Recognition in Smart Homes
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
Liming Chen, Chris D. Nugent, Hui Wang
ICIP
1999
IEEE
14 years 9 months ago
Hypercomplex Auto-And-Cross-Correlation of Color Images
Autocorrelation and cross-correlation have been defined and utilized in signal and image processing for many years, but not for color or vector images. In this poster we present f...
Stephen J. Sangwine, Todd A. Ell
GIS
2008
ACM
14 years 8 months ago
Geospatial information integration based on the conceptualization of geographic domain
Geospatial information integration is not a trivial task. An integrated view must be able to describe various heterogeneous data sources and its interrelation to obtain shared con...
Miguel Torres, Serguei Levachkine, Rolando Quinter...
WWW
2007
ACM
14 years 8 months ago
BOWiki - a Collaborative Annotation and Ontology Curation Framework
As the amount of data being generated in biology has increased, a major challenge has been how to store and represent this data in a way that makes it easily accessible to researc...
Michael Backhaus, Janet Kelso, Joshua Bacher, Hein...
GLOBECOM
2008
IEEE
14 years 2 months ago
Optimal LLR Clipping Levels for Mixed Hard/Soft Output Detection
Abstract—Consider a communications system where the detector generates a mix of hard and soft outputs, which are then fed into a soft-input channel decoder. In such a setting, it...
Ernesto Zimmermann, David L. Milliner, John R. Bar...