4187 search results - page 623 / 838 » A Taxonomy of Model Transformation |
153
click to vote
VLSI
2010
Springer
15 years 1 months ago
2010
Springer
Although local biasing of components used in an analog circuit is shown to be a very attractive design methodology, significantly simplifying the design procedure [3], it makes the...
168
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We describe a system for automatically extracting dynamics of tongue gestures from ultrasound images of the tongue using translational deep belief networks (tDBNs). In tDBNs, a jo...
183
click to vote
CASE
2011
14 years 6 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
186
click to vote
CCECE
2011
IEEE
14 years 6 months ago
2011
IEEE
A mode-matching approach is presented for the analysis of substrate-integrated waveguide (SIW) circuits. The numerical technique takes advantage of recently developed fabrication ...
310
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...