564 search results - page 12 / 113 » Corner cutting systems |
INFORMATICASI
2006
14 years 11 months ago
2006
CAD
2004
Springer
14 years 11 months ago
2004
Springer
Non
109
click to vote
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
PARA
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. For the evaluation of HPC systems for real-time signal processing, real-time benchmarks have recently been proposed by the US DoD signal processing and HPC communities. F...
ANLP
1992
15 years 28 days ago
1992
We present a localisation component that supports the generation of cross-modal deictic expressions in the knowledge-based presentation system WIP. We deal with relative localisat...