2018 search results - page 323 / 404 » Code Normal Forms |
ICDT
2010
ACM
14 years 28 days ago
2010
ACM
Several computational problems in phylogenetic reconstruction can be formulated as restrictions of the following general problem: given a formula in conjunctive normal form where ...
POPL
1994
ACM
14 years 27 days ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
AFRIGRAPH
2010
ACM
14 years 20 days ago
2010
ACM
Aligning structures, often referred to as docking or registration, is frequently required in fields such as computer science, robotics and structural biology. The task of alignin...
ACMMSP
2006
ACM
14 years 17 days ago
2006
ACM
We introduce a method for providing lightweight daemons, called simplifiers, that attach themselves to program data. If a data item has a simplifier, the simplifier may be run aut...
CCS
2000
ACM
14 years 13 days ago
2000
ACM
The Internet provides an environment where two parties, who are virtually strangers to each other, can make connections and do business together. Before any actual business starts...