6941 search results - page 312 / 1389 » Testing as a Certification Approach |
141
click to vote
EACL
2006
ACL Anthology
15 years 6 months ago
2006
ACL Anthology
We present a weakly supervised approach to automatic Ontology Population from text and compare it with other two unsupervised approaches. In our experiments we populate a part of ...
149
Voted
EOR
2008
15 years 5 months ago
2008
Transportation is an important component of supply chain competitiveness since it plays a major role in the inbound, inter-facility, and outbound logistics. In this context, assig...
138
click to vote
JAR
2006
15 years 5 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
149
click to vote
TVLSI
1998
15 years 4 months ago
1998
— Excessive instantaneous power consumption may reduce the reliability and performance of VLSI chips. Hence, to synthesize circuits with high reliability, it is imperative to efï...
170
Voted
SGAI
2010
Springer
14 years 11 months ago
2010
Springer
: In the present paper we address the problem of computing the Minimal Additional Sensor Sets (MASS) that guarantee a desired level of diagnostic discrimination for a system. Recen...