3557 search results - page 186 / 712 » Authoring Presentation for OpenMath |
203
click to vote
UC
2009
Springer
16 years 1 months ago
2009
Springer
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...
162
click to vote
ISQED
2008
IEEE
16 years 27 days ago
2008
IEEE
In this paper we present a parasitic aware, process variation tolerant optimization methodology that may be applied to nanoscale circuits to ensure better yield. A currentstarved ...
166
click to vote
CAIP
2007
Springer
16 years 20 days ago
2007
Springer
Chazelle’s triangulation [1] forms today the common basis for linear-time Euclidean shortest path (ESP) calculations (where start and end point are given within a simple polygon)...
158
click to vote
DEXA
2007
Springer
16 years 20 days ago
2007
Springer
Emerging non-standard applications like the production of high-quality spatial sound pose new challenges to data management. Beside the need for a flexible transactional managemen...
165
click to vote
EUROCAST
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In this paper the author presents three approaches to parallel Tabu Search, applied to several instances of the Capacitated Vehicle Routing Problem with soft Time Windows...