2694 search results - page 394 / 539 » Frege's New Science |
192
click to vote
ICALP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We deal with two intimately related subjects: quasi-randomness and regular partitions. The purpose of the concept of quasi-randomness is to measure how much a given graph...
166
click to vote
ICALP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. The edit distance between two ordered rooted trees with vertex labels is the minimum cost of transforming one tree into the other by a sequence of elementary operations c...
153
click to vote
ICALP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...
158
click to vote
ICCS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Multiphysics and multiscale simulation systems are emerging as a new grand challenge in computational science, largely because of increased computing power provided by th...
162
click to vote
ICCSA
2007
Springer
16 years 17 days ago
2007
Springer
Computational origami is the computer assisted study of origami as a branch of science of shapes. The origami construction is a countably finite sequence of fold steps, each consi...