Sciweavers

1095 search results - page 8 / 219
» Algebraic Guide Generation
Sort
View
SQJ
2010
75views more  SQJ 2010»
13 years 6 months ago
Using program data-state scarcity to guide automatic test data generation
Mohammad Alshraideh, Leonardo Bottaci, Basel A. Ma...
EMNLP
2011
12 years 7 months ago
Corpus-Guided Sentence Generation of Natural Images
Yezhou Yang, Ching Teo, Hal Daumé III, Yian...
IJAC
2007
70views more  IJAC 2007»
13 years 7 months ago
The Free Alternative Superalgebra on One odd Generator
A base of the free alternative superalgebra on one odd generator is constructed. As a corollary, a base of the alternative Grassmann algebra is given. We also find a new element ...
Ivan Shestakov, Natalia Zhukavets
ISLPED
2009
ACM
125views Hardware» more  ISLPED 2009»
14 years 2 months ago
Behavior-level observability don't-cares and application to low-power behavioral synthesis
Many techniques for power management employed in advanced RTL synthesis tools rely explicitly or implicitly on observability don’t-care (ODC) conditions. In this paper we presen...
Jason Cong, Bin Liu, Zhiru Zhang
BSL
2008
100views more  BSL 2008»
13 years 7 months ago
Hyperlinear and Sofic Groups: A Brief Guide
This is an introductory survey of the emerging theory of two new classes of (discrete, countable) groups, called hyperlinear and sofic groups. They can be characterized as subgroup...
Vladimir Pestov