10797 search results - page 1907 / 2160 » Robust control applications |
141
click to vote
IEEEICCI
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...
121
click to vote
ISESE
2003
IEEE
15 years 9 months ago
2003
IEEE
The two most common strategies for verification and validation, inspection and testing, are in a controlled experiment evaluated in terms of their fault detection capabilities. Th...
161
click to vote
ISMAR
2003
IEEE
15 years 9 months ago
2003
IEEE
In the past, architectures of Augmented Reality systems have been widely different and taylored to specific tasks. In this paper, we use the example of the SHEEP game to show how...
121
click to vote
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
ct This paper describes a general technique to test external memory/caches and memory interconnects using on-chip logic. Such a test methodology is expected to significantly reduc...
143
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...