3154 search results - page 95 / 631 » Computing Closed Skycubes |
VLSID
2002
IEEE
14 years 10 months ago
2002
IEEE
Steiner tree is a fundamental problem in the automatic interconnect optimization for VLSI design. We present a probabilistic analysis method for constructing rectilinear Steiner t...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
In this paper we argue that the gap between Software Engineering and Human-Computer Interaction should be closed through the integration of usability engineering and requirements ...
SUTC
2008
IEEE
14 years 4 months ago
2008
IEEE
: The report of the President's Council of Advisors on Science and Technology (PCAST) has placed CPS on the top of the priority list for federal research investment [6]. This ...
FCT
2007
Springer
14 years 4 months ago
2007
Springer
We show that the family of tree languages recognized by weak alternating automata is closed by three set theoretic operations that correspond to sum, multiplication by ordinals <...
LICS
2006
IEEE
14 years 4 months ago
2006
IEEE
We give an explicit coinduction principle for recursively-defined stochastic processes. The principle applies to any closed property, not just equality, and works even when soluti...