1646 search results - page 193 / 330 » Automatic generation of two-party computations |
ERSHOV
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
HT
1998
ACM
14 years 1 months ago
1998
ACM
“Linking by inking” is a new interface for reader-directed link construction that bridges reading and browsing activities. We are developing linking by inking in XLibris, a hy...
ICPR
2010
IEEE
14 years 1 months ago
2010
IEEE
—Automatic illicit drug pill matching and retrieval is becoming an important problem due to an increase in the number of tablet type illicit drugs being circulated in our society...
SAC
2006
ACM
13 years 9 months ago
2006
ACM
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
CG
2005
Springer
13 years 9 months ago
2005
Springer
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. In order to aid...