1678 search results - page 122 / 336 » An ASM Specification of C |
CCS
2009
ACM
14 years 11 months ago
2009
ACM
In this paper we present a structured methodology for evaluating cost of responses based on three factors: the response operational cost associated with the daily maintenance of t...
CHI
2006
ACM
14 years 10 months ago
2006
ACM
We describe innovative new work in the development of an "animated architecture." Specifically, we describe our early research aimed at the creation of intelligent, prog...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
We present results of a study that considers (a) gestures outside the context of a specific implementation and (b) their use in supporting secondary, rather than primary tasks in ...
POPL
2003
ACM
14 years 10 months ago
2003
ACM
The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization XML Schema. A formal semantic...
CVPR
2010
IEEE
14 years 6 months ago
2010
IEEE
We propose a new scheme to estimate image bias field through introducing two sparsity constraints. One is that the bias-free image has concise representation with image gradients o...