1489 search results - page 198 / 298 » The First Bug Report |
171
click to vote
PTS
2008
15 years 6 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
156
click to vote
TREC
2008
15 years 6 months ago
2008
In this paper, we report our experiments in the TREC 2008 Relevance Feedback Track. Our main goal is to study a novel problem in feedback, i.e., optimization of the balance of the...
147
Voted
RIVF
2007
15 years 6 months ago
2007
— This paper is at the crossroad of Cognitive Psychology and AI Robotics. It reports a cross-disciplinary project concerned about implementing human heuristics within autonomous ...
130
click to vote
ACE
2004
15 years 6 months ago
2004
Many governments are emphasizing the need to improve ICT skills, research and innovations, often making special reference to the role of higher education. At the 2003 conference o...
121
click to vote
AAAI
2006
15 years 6 months ago
2006
Forward pruning, or selectively searching a subset of moves, is now commonly used in game-playing programs to reduce the number of nodes searched with manageable risk. Forward pru...