2701 search results - page 41 / 541 » On the form of witness terms |
MFCS
1997
Springer
15 years 4 months ago
1997
Springer
It is important for programs to have modular correctness properties. We look at non-deterministic programs expressed as termrewriting systems which compute normal forms of input t...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including impl...
RECOMB
2002
Springer
16 years 4 days ago
2002
Springer
A recent idea for determining the three-dimensional structure of a protein uses antibody recognition of surface structure and random peptide libraries to map antibody epitope comb...
SODA
2010
ACM
15 years 9 months ago
2010
ACM
Correlation clustering is a type of clustering that uses a basic form of input data: For every pair of data items, the input specifies whether they are similar (belonging to the s...
107
click to vote
ESWS
2007
Springer
15 years 6 months ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...