Sciweavers

5622 search results - page 229 / 1125
» Solving architectural modelling problems using knowledge
Sort
View
ICPR
2004
IEEE
16 years 7 months ago
Parameterisation Invariant Statistical Shape Models
In this paper novel theory to automate shape modelling is described. The main idea is to develop a theory that is intrinsically defined for curves, as opposed to a finite sample o...
Johan Karlsson, Anders Ericsson, Kalle Åstr&...
TKDE
2012
208views Formal Methods» more  TKDE 2012»
13 years 9 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
HICSS
2008
IEEE
126views Biometrics» more  HICSS 2008»
16 years 1 months ago
An Empirical Investigation of Knowledge Creation in Electronic Networks of Practice: Social Capital and Theory of Planned Behavi
How to achieve knowledge creation effectively remains a problem, this becomes even more difficult in a loosely knitted community such as networks of practice. This is because know...
Shih-Wei Chou, Yu-Chieh Chang
IJCAI
1989
15 years 7 months ago
Program Derivation Using Analogy
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs are deductively closed under the rules in the kno...
Mehdi T. Harandi, Sanjay Bhansali
RTSS
2005
IEEE
16 years 4 days ago
Fast On-the-Fly Parametric Real-Time Model Checking
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
Dezhuang Zhang, Rance Cleaveland