3943 search results - page 208 / 789 » Architecture-Level Requirements Specification |
160
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
In this paper, we consider the problem of stereo matching using loopy belief propagation. Unlike previous methods which focus on the original spatial resolution, we hierarchically...
154
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper reports developments on a best description template for teaching methods, whose descriptive elements will eventually be mapped to the elements of the IMS Learning Desig...
205
click to vote
IPPS
2007
IEEE
16 years 28 days ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
132
click to vote
IRI
2007
IEEE
16 years 28 days ago
2007
IEEE
The paper presents a technique for the design of digital systems on the basis of reusable hardware templates, which are circuits with modifiable functionality that might be custom...
149
click to vote
MODELS
2007
Springer
16 years 23 days ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...