4315 search results - page 115 / 863 » Sorting in linear time |
TIME
2003
IEEE
14 years 2 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
ISQED
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper we propose a technique to determine accurate interconnect extraction corners for a 65-nm design using parametric RC extraction and timing analysis. We calculate the ...
CEC
2007
IEEE
14 years 3 months ago
2007
IEEE
— In this paper, a neural network approach is presented to expand the Pareto-optimal front for multiobjective optimization problems. The network is trained using results obtained...
COSIT
2005
Springer
14 years 2 months ago
2005
Springer
The Foundational Model of Anatomy (FMA) is a map of the human body. Like maps of other sorts – including the map-like representations we find in familiar anatomical atlases – i...
SIGECOM
2003
ACM
14 years 2 months ago
2003
ACM
We consider the problem of designing mechanisms for online problems in which agents arrive over time and the mechanism is unaware of the agent until the agent announces her arriva...