3555 search results - page 94 / 711 » Security-Critical System Development with Extended Use Cases |
TMI
2002
15 years 1 months ago
2002
A discrete coil EIT system is investigated for the general case of an eccentric circular inhomogeneity. The solution methodology of the forward problem of this system is explained....
131
click to vote
SIGDIAL
2010
14 years 11 months ago
2010
We develop a method to detect erroneous interpretation results of user utterances by exploiting utterance histories of individual users in spoken dialogue systems that were deploy...
146
click to vote
ISAS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
123
click to vote
ISBI
2006
IEEE
16 years 2 months ago
2006
IEEE
This paper describes the development and application of methods to integrate research image analysis methods and software with a commercial image guided surgery navigation system ...
CDC
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper studies the global synchronization problem of networked systems with bidirectional connections. We introduce a virtual node to produce the reference trajectory which wil...