3799 search results - page 666 / 760 » An Engineering Approach to Formal Methods |
187
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...
121
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
Where am I and what am I seeing? This is a classical vision problem and this paper presents a solution based on efficient use of a combination of 2D and 3D features. Given a model...
132
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
We propose a novel approach to find aliases of a given name from the web. We exploit a set of known names and their aliases as training data and extract lexical patterns that conv...
215
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
Significant efforts are currently invested in application integration to enable the interaction and composition of business processes of different companies, yielding complex, mul...
161
Voted
SI3D
2010
ACM
15 years 11 months ago
2010
ACM
In this paper a method for estimating a rigid skeleton, including skinning weights, skeleton connectivity, and joint positions, given a sparse set of example poses is presented. I...