4211 search results - page 50 / 843 » A formal approach to MASQ |
76
Voted
ET
2007
15 years 18 days ago
2007
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...
87
Voted
CADE
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. Undefined terms are commonplace in mathematics, particularly in calculus. The traditional approach to undefinedness in mathematical practice is to treat undefined terms a...
143
click to vote
TKDE
2012
13 years 3 months ago
2012
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...
FORTE
2004
15 years 2 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
132
Voted
JUCS
2010
14 years 11 months ago
2010
: For many years, physical asset indicators were the main evidence of an organization’s successful performance. However, the situation has changed following the revolution of inf...