7890 search results - page 156 / 1578 » The MathSAT 3 System |
133
Voted
CORR
2011
Springer
14 years 12 months ago
2011
Springer
We study the complexity of computing the real solutions of a bivariate polynomial system using the recently proposed algorithm Bisolve [3]. Bisolve is a classical elimination metho...
167
Voted
SI3D
1997
ACM
15 years 9 months ago
1997
ACM
Registration (or alignment) of the synthetic imagery with the real world is crucial in augmented reality (AR) systems. The data from user-input devices, tracking devices, and imag...
157
Voted
APVIS
2008
15 years 6 months ago
2008
Facial emotions and expressive facial motions have become an intrinsic part of many graphics systems and human computer interaction applications. The dynamics and high dimensional...
153
click to vote
BCSHCI
2007
15 years 6 months ago
2007
Second Life is an online 3D virtual environment that offers interesting potential for use in education due to its widespread availability, flexibility, and its use of standard pla...
135
Voted
IADIS
2004
15 years 6 months ago
2004
IMT-2000 has been developing in both cdma2000 and W-CDMA, and their convergence or harmonization has also been discussed in several standard organizations. Besides the most expert...