602 search results - page 110 / 121 » Efficient Model Checking of Applications with Input Output |
TCAD
2010
13 years 2 months ago
2010
Artificial neural networks (ANNs) have shown great promise in modeling circuit parameters for computer aided design applications. Leakage currents, which depend on process paramete...
ICDCS
1991
IEEE
13 years 11 months ago
1991
IEEE
of ‘‘network computers’’ is inherently lessAbstract predictable than that of more traditional distributed memory systems, such as hypercubes [22], since both theFor computa...
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
The problem of automatically extracting the most interesting and relevant keyword phrases in a document has been studied extensively as it is crucial for a number of applications. ...
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
A linear, discriminative, supervised technique for reducing feature vectors extracted from image data to a lower-dimensional representation is proposed. It is derived from classica...
MM
2010
ACM
13 years 7 months ago
2010
ACM
We present a novel visual creativity tool that automatically recognizes facial expressions and tracks facial muscle movements in real time to produce sounds. The facial expression...