Sciweavers

7057 search results - page 68 / 1412
» Tasks, domains, and languages
Sort
View
EMNLP
2010
13 years 9 months ago
Tense Sense Disambiguation: A New Syntactic Polysemy Task
Polysemy is a major characteristic of natural languages. Like words, syntactic forms can have several meanings. Understanding the correct meaning of a syntactic form is of great i...
Roi Reichart, Ari Rappoport
AI
1999
Springer
13 years 11 months ago
Task Decomposition, Dynamic Role Assignment, and Low-Bandwidth Communication for Real-Time Strategic Teamwork
Multi-agent domains consisting of teams of agents that need to collaborate in an adversarial environment offer challengingresearch opportunities. In this article, we introduce per...
Peter Stone, Manuela M. Veloso
POPL
2009
ACM
14 years 12 months ago
A combination framework for tracking partition sizes
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
SEMWEB
2010
Springer
13 years 9 months ago
Towards Technology Structure Mining from Scientific Literature
Abstract. This paper introduces the task of Technology-Structure Mining to support Management of Technology. We propose a linguistic based approach for identification of Technology...
Behrang QasemiZadeh
TPHOL
2009
IEEE
14 years 5 months ago
Some Domain Theory and Denotational Semantics in Coq
Abstract. We present a Coq formalization of constructive ω-cpos (extending earlier work by Paulin-Mohring) up to and including the inverselimit construction of solutions to mixed-...
Nick Benton, Andrew Kennedy, Carsten Varming