Sciweavers

377 search results - page 30 / 76
» aaai 2006
Sort
View
AAAI
2006
13 years 9 months ago
Constraint-Based Random Stimuli Generation for Hardware Verification
We report on random stimuli generation for hardware verification in IBM as a major application of various artificial intelligence technologies, including knowledge representation,...
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz...
AAAI
2006
13 years 9 months ago
Classification Spanning Private Databases
In this paper, we study the classification problem involving information spanning multiple private databases. The privacy challenges lie in the facts that data cannot be collected...
Ke Wang, Yabo Xu, Rong She, Philip S. Yu
AAAI
2006
13 years 9 months ago
Monte Carlo Go Has a Way to Go
Monte Carlo Go is a promising method to improve the performance of computer Go programs. This approach determines the next move to play based on many Monte Carlo samples. This pap...
Haruhiro Yoshimoto, Kazuki Yoshizoe, Tomoyuki Kane...
AAAI
2007
13 years 10 months ago
Modeling and Learning Vague Event Durations for Temporal Reasoning
This paper reports on our recent work on modeling and automatically extracting vague, implicit event durations from text (Pan et al., 2006a, 2006b). It is a kind of commonsense kn...
Feng Pan, Rutu Mulkar, Jerry R. Hobbs
AAAI
2007
13 years 10 months ago
Beyond Individualism: Modeling Team Playing Behavior in Robot Soccer through Case-Based Reasoning
We propose a Case-Based Reasoning approach for action selection in the robot soccer domain presented in the 8th European Conference on Case-Based Reasoning (2006). Based on the cu...
Raquel Ros, Manuela M. Veloso, Ramon López ...