1583 search results - page 302 / 317 » Continuous Optimization |
102
click to vote
DOLAP
2000
ACM
15 years 4 months ago
2000
ACM
Being able to efficiently answer arbitrary OLAP queries that aggregate along any combination of dimensions over numerical and categorical attributes has been a continued, major co...
SIGGRAPH
2000
ACM
15 years 4 months ago
2000
ACM
The traditional high-level algorithms for rigid body simulation work well for moderate numbers of bodies but scale poorly to systems of hundreds or more moving, interacting bodies...
105
click to vote
CA
1999
IEEE
15 years 4 months ago
1999
IEEE
The continuously increasing complexity of computer animationsmakes it necessary to rely on the knowledge of various experts to cover the different areas of computer graphics and a...
130
click to vote
CADE
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
SPAA
1997
ACM
15 years 4 months ago
1997
ACM
Consider a set of shared objects in a distributed network, where several copies of each object may exist at any given time. To ensure both fast access to the objects as well as e ...