3902 search results - page 434 / 781 » Hardware Synthesis from C C Models |
223
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
158
click to vote
WSC
2007
15 years 9 months ago
2007
The automated analysis of model specifications is an area that historically receives little attention in the simulation research community but which can offer significant bene...
203
click to vote
LCN
1996
IEEE
15 years 11 months ago
1996
IEEE
Development of new transport protocols or protocol algorithms suffers from the complexity of the envir onment in which they ar e intended to run. Modeling techniques attempt to av...
172
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose a method for segmentation of frontal human portraits from arbitrary unknown backgrounds. Semantic information is used to project the face into a normalized reference fr...
160
click to vote
CSDA
2007
15 years 6 months ago
2007
At present, likelihood ratios for two-level models are determined with the use of a normal kernel estimation procedure when the between-group distribution is thought to be non-nor...