3619 search results - page 413 / 724 » Humor modeling in the interface |
209
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We propose a physically based algorithm for synthesizing sounds synchronized with brittle fracture animations. Motivated by laboratory experiments, we approximate brittle fracture...
164
click to vote
VRST
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents an image-based walkthrough technique where reference images are sparsely sampled along a path. The technique relies on a simple user interface for rapid modeli...
162
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. Distributed Objects DO as de ned by OMG's CORBA architecture provide a model for object-oriented parallel distributed computing. The parallelism in this model howeve...
207
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
134
click to vote
LCPC
1993
Springer
15 years 11 months ago
1993
Springer
This paper presents a model for concurrent programming, where programs (concurrent program structures) are represented as composition expressions over component programs with suita...