5804 search results - page 814 / 1161 » Doing more with less |
144
click to vote
AIMSA
1990
Springer
15 years 11 months ago
1990
Springer
: Automated deduction systems can considerably be improved by replacing axioms with special purpose inference mechanisms. For example replacing in resolution based systems certain ...
178
click to vote
ACMACE
2007
ACM
15 years 11 months ago
2007
ACM
Physical leisure activities such as table tennis provide healthy exercise and can offer a means to connect with others socially; however, players have to be in the same physical l...
161
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
While the covering algorithm has been perfected recently by the iterative approaches, such as DAOmap and IMap, its application has been limited to technology mapping. The main fact...
190
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
- In routing, finding a rectilinear Steiner minimal tree (RSMT) is a fundamental problem. Today's design often contains rectilinear obstacles, like macro cells, IP blocks, and...
162
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Traffic authorities work hard to improve resource utilization in traffic. But these efforts do not consider that the valuations of waiting time can be different for each driver, e...