4609 search results - page 424 / 922 » Automatic Generation of Sigma-Protocols |
177
click to vote
ADBIS
2006
Springer
16 years 25 days ago
2006
Springer
The XSLT language is used to describe transformations of XML documents into other formats. The transformed XML documents conform to output schemas of the used XSLT stylesheet. Outp...
181
click to vote
HASKELL
2006
ACM
16 years 24 days ago
2006
ACM
Some type class instances can be automatically derived from the structure of types. As a result, the Haskell language includes the “deriving” mechanism to automatic generates ...
199
Voted
APSEC
2005
IEEE
16 years 14 days ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
183
click to vote
WACV
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper addresses the problem of tracking human body pose in monocular video including automatic pose initialization and re-initialization after tracking failures caused by par...
169
click to vote
UIST
2005
ACM
16 years 11 days ago
2005
ACM
Decision-theoretic optimization is becoming a popular tool in the user interface community, but creating accurate cost (or utility) functions has become a bottleneck — in most c...