2340 search results - page 82 / 468 » Second quarter 2008 |
CVIU
2008
14 years 12 months ago
2008
Skeletons are often used as a framework for part-based shape description and matching. This paper describes some useful strategies that can be employed to improve the performance ...
DKE
2008
14 years 12 months ago
2008
To enable effective cross-organizational collaborations, process providers have to offer external views on their internal processes to their partners. A process view hides details...
ENGL
2008
14 years 12 months ago
2008
dynamic analysis of structures for earthquake induced loads is very expensive in terms of the computational burden. In this study, to reduce the computational effort a new neural s...
104
click to vote
ENTCS
2008
14 years 12 months ago
2008
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
ENTCS
2008
14 years 12 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...