7118 search results - page 948 / 1424 » Electrical and Computer Engineering |
165
click to vote
SIAMIS
2011
14 years 11 months ago
2011
We define a novel metric on the space of closed planar curves which decomposes into three intuitive components. According to this metric centroid translations, scale changes and ...
166
click to vote
TASE
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--With the availability of powerful computational and communication systems, scientists now readily access large, complicated derived datasets and build on those results to...
190
click to vote
TASLP
2010
14 years 11 months ago
2010
Abstract-- In many research fields of engineering and acoustics, the image-source model represents one of the most popular tools for the simulation of sound fields in virtual rever...
168
click to vote
EMSOFT
2011
Springer
14 years 4 months ago
2011
Springer
As system integration becomes an increasingly important challenge for complex real-time systems, there has been a significant demand for supporting real-time systems in virtualiz...
171
click to vote
VMCAI
2012
Springer
14 years 10 days ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...