4352 search results - page 830 / 871 » A Representation Theorem and Applications |
ICCSA
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. This paper describes how function-based shape modeling can be expanded to web visualization, as well as how web-based visualization can be greatly improved by using the f...
ICMI
2003
Springer
14 years 4 months ago
2003
Springer
Interaction designers are increasingly faced with the challenge of creating interfaces that incorporate multiple input modalities, such as pen and speech, and span multiple device...
CGO
2010
IEEE
14 years 3 months ago
2010
IEEE
Cross-module inter-procedural compiler optimization (IPO) and Feedback-Directed Optimization (FDO) are two important compiler techniques delivering solid performance gains. The co...
NPAR
2010
ACM
14 years 3 months ago
2010
ACM
We present a simple technique for creating fluid silhouettes described with vector graphics, which we call ”Vector Fluid.” In our system, a solid region in the fluid is repr...
WOLLIC
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...