4979 search results - page 466 / 996 » A strategy for knowledge management |
201
click to vote
TOPNOC
2008
15 years 7 months ago
2008
The key to efficient on-the-fly reachability analysis based on unfolding is to focus the expansion of the finite prefix towards the desired marking. However, current unfolding stra...
162
click to vote
MT
2002
15 years 6 months ago
2002
Machine translation of human languages is a field almost as old as computers themselves. Recent approaches to this challenging problem aim at learning translation knowledge automat...
210
Voted
NGC
1998
Springer
15 years 6 months ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
203
click to vote
MFCS
2010
Springer
15 years 5 months ago
2010
Springer
We address the strategy problem for ω-regular two-player games with partial information, played on finite game graphs. We consider two different kinds of observability on a gene...
201
click to vote
ACL
2011
14 years 10 months ago
2011
This paper presents a novel approach for leveraging automatically extracted textual knowledge to improve the performance of control applications such as games. Our ultimate goal i...