498 search results - page 75 / 100 » Model Validation using Automatically Generated Requirements-... |
121
click to vote
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
The use of 3-D ultrasound data has several advantages over 2-D ultrasound for fetal biometric measurements, such as considerable decrease in the examination time, possibility of p...
137
click to vote
DAC
2006
ACM
15 years 4 months ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
138
click to vote
EUSFLAT
2009
15 years 1 days ago
2009
The need for an automatic inference process able to deal with information coming from unreliable sources is becoming a relevant issue both on corporate networks and on the open Web...
139
click to vote
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
155
click to vote
AAAI
2006
15 years 3 months ago
2006
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...