3273 search results - page 178 / 655 » Structured Design of Microelectromechanical Systems |
136
Voted
HYBRID
2010
Springer
15 years 1 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
107
click to vote
FSMNLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We are working on the construction of a Spanish-Basque (eseu) machine translation tool using the traditional transfer model based on shallow and dependency parsing. Spani...
124
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
This paper presents a new concept for accurate modeling and timing simulationof electronicsystems integrated in a typical VHDL design environment, taking into account the requirem...
129
click to vote
ACHI
2009
IEEE
15 years 10 months ago
2009
IEEE
An audio system is one of the basic components of a humanoid robot designed for natural interaction. For many interaction purposes it is sufficient to use the sound detection and...
116
click to vote
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
We generalize several recent works on nonlinear observers for aided attitude heading reference systems: we propose a symmetry-preserving nonlinear observer which merges the most co...