5232 search results - page 171 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
109
click to vote
ICASSP
2009
IEEE
15 years 8 months ago
2009
IEEE
For effective training of acoustic and language models for spontaneous speech such as meetings, it is significant to exploit the texts available in a large scale, which may not b...
129
click to vote
FGR
2006
IEEE
15 years 8 months ago
2006
IEEE
Characteristics of the 2D shape deformation in human motion contain rich information for human identification and pose estimation. In this paper, we introduce a framework for sim...
118
click to vote
GLVLSI
2008
IEEE
15 years 8 months ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
137
click to vote
TAP
2010
Springer
14 years 11 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
128
click to vote
DSN
2008
IEEE
15 years 3 months ago
2008
IEEE
XOR-based erasure codes are a computationallyefficient means of generating redundancy in storage systems. Some such erasure codes provide irregular fault tolerance: some subsets o...