628 search results - page 69 / 126 » Effectively Open Real Functions |
93
Voted
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents a new method for analysis of center of pressure (COP) signals using Empirical Mode Decomposition (EMD). The EMD decomposes a COP signal into a finite set of b...
129
Voted
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
129
Voted
ICSEA
2007
IEEE
15 years 9 months ago
2007
IEEE
Research in context-aware user interfaces aims to improve human-computer interaction by providing more effective, smarter and user-friendlier solutions for computer applications. ...
117
Voted
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper introduces a novel robot which can run on the surface of water in a manner similar to basilisk lizards. Previous studies on the lizards themselves have characterized...
130
click to vote
ICPP
2005
IEEE
15 years 9 months ago
2005
IEEE
High performance intra-node communication support for MPI applications is critical for achieving best performance from clusters of SMP workstations. Present day MPI stacks cannot ...