6020 search results - page 764 / 1204 » A New Approach to Model Counting |
206
Voted
SEMWEB
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. RDF may be considered as an application of XML intended to interoperably exchange semantics between Web applications. In its current form, this objective may be hard to r...
179
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Component-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a w...
188
click to vote
AFRIGRAPH
2009
ACM
15 years 10 months ago
2009
ACM
Traditionally, levels of detail (LOD) for animated characters are computed from a single pose. Later techniques refined this approach by considering a set of sample poses and eval...
210
click to vote
SCA
2007
15 years 9 months ago
2007
We present a simple yet powerful approach for the generation and rendering of surfaces defined by the boundary of a three-dimensional point cloud. First, a depth map plus internal...
228
click to vote
AAAI
2008
15 years 9 months ago
2008
When controlling dynamic systems, such as mobile robots in uncertain environments, there is a trade off between risk and reward. For example, a race car can turn a corner faster b...