4198 search results - page 258 / 840 » In search of lost time |
155
click to vote
ATVA
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
175
click to vote
GLOBECOM
2006
IEEE
16 years 22 days ago
2006
IEEE
—Design of space-time codes that scale with the number of transmit antennas is a difficult problem. In this paper, we introduce a new family of space-time trellis codes (STTC) th...
182
click to vote
ICCBR
2005
Springer
16 years 6 days ago
2005
Springer
While several researchers have applied case-based reasoning techniques to games, only Ponsen and Spronck (2004) have addressed the challenging problem of learning to win real-time ...
189
click to vote
FPL
2003
Springer
15 years 12 months ago
2003
Springer
Local search methods such as WSAT have proven to be successful for solving SAT problems. In this paper, we propose two host-FPGA (Field Programmable Gate Array) co-implementations,...
182
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
— With the deployment of large, distributed networks of cameras and other sensors, it is becoming necessary to also address the issue of how to effectively present the large vol...