11030 search results - page 344 / 2206 » Generative Sound Models |
185
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
181
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
189
click to vote
ICAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Creating good adaptation policies is critical to building complex autonomic systems since it is such policies that define the system configuration used in any given situation. W...
167
click to vote
SLIP
2006
ACM
16 years 18 days ago
2006
ACM
Manufacturable design requires matching of interconnects which have equal nominal dimensions. New design rules are projected to bring guarantee rules for interconnect matching. In...
159
click to vote
HUC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present Supple, a novel toolkit which automatically generates interfaces for ubiquitous applications. Designers need only specify declarative models of the interface a...