Sciweavers

4360 search results - page 232 / 872
» Socio-technical systems: From design methods to systems engi...
Sort
View
BMCBI
2010
195views more  BMCBI 2010»
15 years 1 months ago
MBAT: A scalable informatics system for unifying digital atlasing workflows
Background: Digital atlases provide a common semantic and spatial coordinate system that can be leveraged to compare, contrast, and correlate data from disparate sources. As the q...
Daren Lee, Seth Ruffins, Queenie Ng, Nikhil Sane, ...
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
16 years 20 days ago
Formal performance analysis and simulation of UML/SysML models for ESL design
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
Alexander Viehl, Timo Schönwald, Oliver Bring...
ICC
2007
IEEE
16 years 28 days ago
A Simple Power Margin Quality Measure for Correlated Random Variates Derived from the Normal Distribution
—This paper provides a power-margin-based measure of the quality of computer-generated random variates having a distribution that derives from the multivariate Gaussian distribut...
David J. Young, Norman C. Beaulieu
ICCAD
1996
IEEE
92views Hardware» more  ICCAD 1996»
15 years 10 months ago
Generation of BDDs from hardware algorithm descriptions
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
Shin-ichi Minato
PAMI
2012
13 years 9 months ago
Tracking-Learning-Detection
A novel system for long-term tracking of a human face in unconstrained videos is built on Tracking-Learning-Detection (TLD) approach. The system extends TLD with the concept of a ...
Zdenek Kalal, Krystian Mikolajczyk, Jiri Matas