2312 search results - page 365 / 463 » An algorithmic approach to knowledge evolution |
170
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
180
click to vote
ICDM
2009
IEEE
16 years 1 months ago
2009
IEEE
—One common approach to active learning is to iteratively train a single classifier by choosing data points based on its uncertainty, but it is nontrivial to design uncertainty ...
154
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Legged robots offer the potential to navigate highly challenging terrain, and there has recently been much progress in this area. However, a great deal of this recent work has ...
164
click to vote
PVM
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Most parallel systems on which MPI is used are now hierarchical: some processors are much closer to others in terms of interconnect performance. One of the most common su...
153
click to vote
SEMWEB
2009
Springer
16 years 28 days ago
2009
Springer
In this paper, we consider the problem of materializing the complete finite RDFS closure in a scalable manner; this includes those parts of the RDFS closure that are often ignored...