4250 search results - page 756 / 850 » Understanding the Requirements on Modelling Techniques |
COMPGEOM
1997
ACM
14 years 1 months ago
1997
ACM
Abstract: We propose an e cient method that determines the sign of a multivariate polynomial expression with integer coe cients. This is a central operation on which the robustness...
EMNETS
2007
14 years 1 months ago
2007
A realtime posture tracking system has been developed using a network of compact wireless sensor devices worn by the user. Each device is a complete inertial/magnetic tracking uni...
EDBTW
2006
Springer
14 years 22 days ago
2006
Springer
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...
ECAI
2000
Springer
14 years 20 days ago
2000
Springer
The purpose of this paper is to provide a broad overview of the WITAS Unmanned Aerial Vehicle Project. The WITAS UAV project is an ambitious, long-term basic research project with ...
ASPDAC
1995
ACM
14 years 19 days ago
1995
ACM
One of the interesting problems in hardware-software co-design is that of debugging embedded software in conjunction with hardware. Currently, most software designers wait until a...