5243 search results - page 333 / 1049 » Reasoning About Strategies |
179
click to vote
AAAI
1994
15 years 8 months ago
1994
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...
184
click to vote
AAMAS
2005
Springer
15 years 6 months ago
2005
Springer
A Multi-linked negotiation problem occurs when an agent needs to negotiate with multiple other agents about different subjects (tasks, conflicts, or resource requirements), and th...
214
click to vote
ESSLLI
2009
Springer
15 years 4 months ago
2009
Springer
We present an implemented model for speech recognition in natural environments which relies on contextual information about salient entities to prime utterance recognition. The hyp...
156
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Electronic design automation is a field replete with challenging ? and often intractable ? problems to be solved over very large instances. As a result, the field of design automa...
147
Voted
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper is an attempt to answer the following question: how much improvement can be obtained in logic decomposition by using Boolean divisors? Traditionally, the existence of t...