1263 search results - page 2 / 253 » Packaging Mathematical Structures |
CSMR
2008
IEEE
13 years 11 months ago
2008
IEEE
Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages, allowing classes to be organized into named abstractions. Maintainers of large ...
ACL
2010
13 years 3 months ago
2010
We present the S-Space Package, an open source framework for developing and evaluating word space algorithms. The package implements well-known word space algorithms, such as LSA,...
INFSOF
2010
13 years 3 months ago
2010
Context: Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages. Maintainers of large systems need to understand how packages relate to...
DAC
2004
ACM
14 years 6 months ago
2004
ACM
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...
ISSAC
2009
Springer
13 years 11 months ago
2009
Springer