4623 search results - page 787 / 925 » Knowledge Representation on the Web |
TACAS
2010
Springer
15 years 5 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...
SI3D
2009
ACM
15 years 4 months ago
2009
ACM
We present a comprehensive system for multiscale navigation of 3-dimensional scenes, and demonstrate our approach on multiscale datasets such as the Earth. Our system incorporates...
KDD
2009
ACM
15 years 4 months ago
2009
ACM
Over the past 15 years, numerous algorithms have been proposed for frequent pattern mining as it plays an essential role in many knowledge discovery and data mining (KDD) tasks. M...
CEC
2009
IEEE
15 years 4 months ago
2009
IEEE
— A cognitive system is presented, which is based on coupling a multi-objective evolutionary algorithm with a fuzzy information processing system. The aim of the system is to ide...
70
Voted
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
—We present a new family of tight lower and upper bounds on the Gaussian Q-function Q(x). It is first shown that, for any x, the integrand ϕ(θ; x) of the Craig representation ...