359 search results - page 20 / 72 » On the number of chord diagrams |
KES
2006
Springer
13 years 8 months ago
2006
Springer
This paper proposes an English learning support tool which provides users with divergent information to find the right words and expressions. In contrast to a number of software to...
POPL
2009
ACM
14 years 9 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
ICSEA
2007
IEEE
14 years 2 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
STOC
2002
ACM
14 years 9 months ago
2002
ACM
Given a set S of n points in IRd , a (t, )-approximate Voronoi diagram (AVD) is a partition of space into constant complexity cells, where each cell c is associated with t represe...
CAV
2000
Springer
14 years 7 days ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...