1893 search results - page 183 / 379 » Computational composites |
131
Voted
EMSOFT
2009
Springer
15 years 7 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
85
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
84
Voted
ICCSA
2003
Springer
15 years 6 months ago
2003
Springer
The solution of large-scale, nonlinear PDE-based simulations typically depends on the performance of sparse linear solvers, which may be invoked at each nonlinear iteration. We pre...
98
Voted
CA
1997
IEEE
15 years 5 months ago
1997
IEEE
Face-to-face interaction between people is generally effortless and effective. We exchange glances, take turns speaking and make facial and manual gestures to achieve the goals of ...
123
click to vote
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...