2312 search results - page 365 / 463 » An algorithmic approach to knowledge evolution |
151
click to vote
TACAS
2010
Springer
16 years 10 days 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...
164
Voted
ICDM
2009
IEEE
16 years 11 hour 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 ...
133
Voted
ICRA
2009
IEEE
16 years 6 hour 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 ...
142
Voted
PVM
2009
Springer
15 years 12 months 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...
133
Voted
SEMWEB
2009
Springer
15 years 12 months 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...