6709 search results - page 387 / 1342 » Impacting the Learning Experience |
218
Voted
AAAI
1998
15 years 9 months ago
1998
Automatedreasoning or theorem proving essentially amounts to solving search problems. Despite significant progress in recent years theorem provers still have manyshortcomings. The...
164
click to vote
COLING
2000
15 years 9 months ago
2000
"Word" is difficult to define in the languages that do not exhibit explicit word boundary, such as Thai. Traditional methods on defining words for this kind of languages...
211
click to vote
RIAO
2000
15 years 8 months ago
2000
We consider the application of machine learning techniques for sequence modeling to Information Retrieval (IR) and surface Information Extraction (IE) tasks. We introduce a generi...
173
click to vote
AAAI
1996
15 years 8 months ago
1996
Agents that operate in a multi-agent system need an efficient strategy to handle their encounters with other agents involved. Searching for an optimal interactive strategy is a ha...
174
click to vote
AIPS
1994
15 years 8 months ago
1994
Robot motion planning in a dynamic cluttered workspace requires the capability of dealing with obstacles and deadlock situations. The paper analyzes situations where the robot is ...