6087 search results - page 339 / 1218 » Knowledge discovery methods |
165
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
171
click to vote
IPMI
2005
Springer
16 years 6 days ago
2005
Springer
Consistent efforts are being made to build Computer-Aided Detection and Diagnosis systems for radiological images. Such systems depend on automated detection of various disease pat...
187
click to vote
FOCS
2003
IEEE
16 years 9 hour ago
2003
IEEE
We show how a polynomial-time prover can commit to an arbitrary finite set Ë of strings so that, later on, he can, for any string Ü, reveal with a proof whether Ü ¾ Ë or Ü ...
170
click to vote
ICEIS
2003
IEEE
16 years 4 hour ago
2003
IEEE
: In the traditional classroom, students learned to depend on tutors for their motivation, direction, goal setting, progress monitoring, self-assessment, and achievement. A fundame...
222
click to vote
WEBDB
2010
Springer
15 years 11 months ago
2010
Springer
We present a robust method for gathering relational facts from the Web, based on matching generalized patterns which are automatically learned from seed facts for relations of int...