13603 search results - page 2643 / 2721 » On the Computational Complexity of Cut-Reduction |
ICCSA
2003
Springer
15 years 3 months ago
2003
Springer
A problem of eliminating the unwanted time-harmonic noise on a predetermined region of interest is solved by active means, i.e., by introducing the additional sources of sound, cal...
ICCSA
2003
Springer
15 years 3 months ago
2003
Springer
This paper describes a system to create animated 3D scenes of car accidents from written reports. The text-to-scene conversion process consists of two stages. An information extrac...
ICMI
2003
Springer
15 years 3 months ago
2003
Springer
Kinesthetic feedback is a key mechanism by which people perceive object properties during their daily tasks – particularly inertial properties. For example, transporting a glass...
IMR
2003
Springer
15 years 3 months ago
2003
Springer
Parameterizations of triangulated surfaces are used in an increasing number of mesh processing applications for various purposes. Although demands vary, they are often required to...
SBP
2010
Springer
15 years 3 months ago
2010
Springer
Due to their large worldwide adoption, Social Network Sites (SNSs) have been widely used in many global events as an important source to spread news and information. While the sear...