10997 search results - page 246 / 2200 » On the Structure of Complete Sets |
176
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—VANET protocols need to exploit the special structure of vehicular networks. This structure includes the onedimensional nature of roads, the structure of lanes, the grou...
205
click to vote
AAAI
2011
14 years 6 months ago
2011
Transfer learning allows knowledge to be extracted from auxiliary domains and be used to enhance learning in a target domain. For transfer learning to be successful, it is critica...
177
click to vote
GLVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
Regularly structured design techniques can combat complexity on a variety of fronts. We present the Structured and Tuned Array Generation (STAG) design methodology, which provides...
186
click to vote
TACAS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
162
click to vote
IJCAI
2007
15 years 8 months ago
2007
Local search procedures for solving satisfiability problems have attracted considerable attention since the development of GSAT in 1992. However, recent work indicates that for m...