2398 search results - page 401 / 480 » Knowledge Representation |
123
click to vote
TACAS
2010
Springer
15 years 10 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...
142
click to vote
SI3D
2009
ACM
15 years 10 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...
128
Voted
KDD
2009
ACM
15 years 10 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...
120
Voted
ICC
2009
IEEE
15 years 10 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 ...
123
click to vote
COSIT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...