481 search results - page 66 / 97 » Validity of First-Order Knowledge Bases |
EKAW
2010
Springer
13 years 8 months ago
2010
Springer
A scenario in ontology development and its use is hypothesis testing, such as finding new subconcepts based on the data linked to the ontology. During such experimentation, knowle...
CCIA
2009
Springer
13 years 7 months ago
2009
Springer
Object segmentation is a challenging and important problem in computer vision. The difficulties to obtain accurate segmentations using only the traditional Topdown or Bottom-up ap...
EJASP
2010
13 years 4 months ago
2010
The problem of uncovering transcriptional regulation by transcription factors (TFs) based on microarray data is considered. A novel Bayesian sparse correlated rectified factor mod...
IACR
2011
12 years 9 months ago
2011
We present a method to compile Yao’s two-player garbled circuit protocol into one that is secure against malicious adversaries that relies on witness indistinguishability. Our ap...
TMC
2012
12 years 10 days ago
2012
—Sensor networks nowadays are widely used for structural health monitoring; for example, the sensor monitoring system deployed on the Guangzhou New TV Tower, China. While wired s...