1921 search results - page 194 / 385 » Stereo Without Search |
103
click to vote
CP
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes a new approach for solving disjunctive temporal problems such as the open shop and job shop scheduling domains. Much previous research in systematic search app...
111
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— In developing regions, Internet connectivity is extremely poor, while mobile phone penetration is much higher. The inhabitants of developing conuntries still rely on tr...
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
D-NUCA L2 caches are able to tolerate the increasing wire delay effects due to technology scaling thanks to their banked organization, broadcast line search and data promotion/dem...
118
click to vote
VL
2009
IEEE
15 years 11 months ago
2009
IEEE
Source code on the web is a widely available and potentially rich learning resource for nonprogrammers. However, unfamiliar code can be daunting to end-users without programming e...
119
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...