2932 search results - page 19 / 587 » Higher order mining |
VLSID
2006
IEEE
16 years 4 days ago
2006
IEEE
In the multi-GHz frequency domain, inductive and capacitive parasitics of interconnects can cause significant 'ringing' or overdamping, which may lead to false switching...
106
click to vote
CADE
2006
Springer
16 years 2 days ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we present the derivation and investigation of analytical expressions for the loudspeaker driving signals for higher order Ambisonics. The approach relies on the as...
109
click to vote
ICIP
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, we propose a novel technique to represent and recover optical flow through free form deformations. Such a technique is based on representing the motion field usin...
ICMT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In Model-Driven Engineering (MDE), Higher-Order Transformations (HOTs) are model transformations that analyze, produce or manipulate other model transformations. In a pre...