Sciweavers

2449 search results - page 56 / 490
» Tensor Embedding Methods
Sort
View
CVPR
2009
IEEE
15 years 3 months ago
Increased Discrimination in Level Set Methods with Embedded Conditional Random Fields
We propose a novel approach for improving level set seg- mentation methods by embedding the potential functions from a discriminatively trained conditional random field (CRF) in...
Dana Cobzas (University of Alberta), Mark Schmidt ...
FSTTCS
2005
Springer
14 years 2 months ago
Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
Jens Chr. Godskesen, Thomas T. Hildebrandt
ESEC
1999
Springer
14 years 1 months ago
The CIP Method: Component- and Model-Based Construction of Embedded Systems
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
Hugo Fierz
VLSID
2001
IEEE
164views VLSI» more  VLSID 2001»
14 years 9 months ago
An Efficient Parallel Transparent Bist Method For Multiple Embedded Memory Buffers
In this paper, we propose a new transparent built-in self-test ( TBIST ) method to test multiple embedded memory arrays with various sizes in parallel. First, a new transparent tes...
Der-Cheng Huang, Wen-Ben Jone, Sunil R. Das
EUROGRAPHICS
2010
Eurographics
14 years 4 months ago
Tetrahedral Embedded Boundary Methods for Accurate and Flexible Adaptive Fluids
When simulating fluids, tetrahedral methods provide flexibility and ease of adaptivity that Cartesian grids find difficult to match. However, this approach has so far been lim...
Christopher Batty, Stefan Xenos, Ben Houston