1322 search results - page 104 / 265 » Efficient Goal-Directed Exploration |
147
Voted
CP
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we investigate the use of preprocessing when solving Quantified Boolean Formulas (QBF). Many different problems can be efficiently encoded as QBF instances, and there...
119
Voted
DOCENG
2008
ACM
15 years 5 months ago
2008
ACM
We present at a new approach to finding aesthetically pleasing page layouts. We do not aim to find an optimal layout, rather the aim is to find a layout which is not obviously wro...
116
Voted
CCR
2008
15 years 3 months ago
2008
Network virtualization is a powerful way to run multiple architectures or experiments simultaneously on a shared infrastructure. However, making efficient use of the underlying re...
147
Voted
SIGMOBILE
2008
15 years 3 months ago
2008
In this article, we outline a research agenda for developing protocols and algorithms for densely populated RFID based systems covering a wide geographic area. This will need mult...
140
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
System-on-chip communication architectures have a significant impact on the performance and power consumption of modern multiprocessor system-on-chips (MPSoCs). However, customiza...