3116 search results - page 366 / 624 » Positively dependent types |
151
click to vote
ACL
2008
15 years 8 months ago
2008
Yawat1 is a tool for the visualization and manipulation of word- and phrase-level alignments of parallel text. Unlike most other tools for manual word alignment, it relies on dyna...
187
click to vote
AAAI
2010
15 years 8 months ago
2010
We consider optimizing the coalition structure in Coalitional Skill Games (CSGs), a succinct representation of coalitional games (Bachrach and Rosenschein 2008). In CSGs, the valu...
133
click to vote
CAINE
2008
15 years 8 months ago
2008
For pilots the importance of knowing their height (distance above the ground) cannot be minimized. An error in determining height can easily prove fatal. Commercial and military a...
160
click to vote
SIROCCO
2010
15 years 8 months ago
2010
Abstract. Two mobile agents (robots) have to meet in an a priori unknown bounded terrain modeled as a polygon, possibly with polygonal obstacles. Robots are modeled as points, and ...
179
click to vote
LREC
2008
15 years 8 months ago
2008
Low-density languages raise difficulties for standard approaches to natural language processing that depend on large online corpora. Using Persian as a case study, we propose a no...