5630 search results - page 257 / 1126 » Computability in Specification |
149
click to vote
ML
2006
ACM
15 years 6 months ago
2006
ACM
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
133
click to vote
CONCURRENCY
2004
15 years 6 months ago
2004
Distributed simulation applications often rely on middleware to provide services to support their execution over distributed computing environments. Such middleware spans many lev...
169
click to vote
TOG
2002
15 years 5 months ago
2002
In this paper we present a novel method for creating realistic, controllable motion. Given a corpus of motion capture data, we automatically construct a directed graph called a mo...
160
click to vote
ICB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Cryptographic transactions form the basis of many common security systems found throughout computer networks. Supporting these transactions with biometrics is very desira...
173
click to vote
ICTAI
2009
IEEE
15 years 3 months ago
2009
IEEE
We address the problem of merging qualitative constraints networks (QCNs). We point out a merging algorithm which computes a consistent QCN representing a global view of the input...