2056 search results - page 329 / 412 » Detecting Errors in Spreadsheets |
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
We propose a Dynamic Bayesian Network (DBN) model for upper body tracking. We first construct a Bayesian Network (BN) to represent the human upper body structure and then incorpo...
104
click to vote
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
— Precise robot positioning is important for many applications in indoor environments. Current solutions to the indoor localization problem are either both unreliable and inaccur...
IV
2008
IEEE
15 years 4 months ago
2008
IEEE
With the increasing complexity of in-car communication architectures, their diagnostics have become essential for automotive development and maintenance. In order to help engineer...
MEMOCODE
2008
IEEE
15 years 4 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
Future microprocessors will be highly susceptible to transient errors as the sizes of transistors decrease due to CMOS scaling. Prior techniques advocated full scale structural or...