1893 search results - page 79 / 379 » Computational composites |
151
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
146
click to vote
IJPP
2007
15 years 4 months ago
2007
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...
130
click to vote
MCS
2007
Springer
15 years 4 months ago
2007
Springer
The paper deals with a structural optimization of composite materials with periodic microstructures invoking an elasto-plasticity model with the von Mises yield criterion. Closest...
154
Voted
ACL
2011
14 years 8 months ago
2011
Compositional question answering begins by mapping questions to logical forms, but training a semantic parser to perform this mapping typically requires the costly annotation of t...
146
click to vote
CVPR
2010
IEEE
15 years 12 months ago
2010
IEEE
We propose Recursive Compositional Models (RCMs) for simultaneous multi-view multi-object detection and parsing (e.g. view estimation and determining the positions of the object s...