12774 search results - page 2446 / 2555 » A Framework for Proof Systems |
204
click to vote
ALENEX
2008
15 years 8 months ago
2008
The National Airspace System (NAS) is designed to accommodate a large number of flights over North America. For purposes of workload limitations for air traffic controllers, the a...
186
click to vote
DGO
2007
15 years 8 months ago
2007
A large portion of the government, business, cultural, and scientific digital data being created today needs to be archived and preserved for future use of periods ranging from a ...
179
click to vote
LREC
2008
15 years 8 months ago
2008
This paper presents the QALL-ME benchmark, a multilingual resource of annotated spoken requests in the tourism domain, freely available for research purposes. The languages curren...
178
click to vote
LREC
2008
15 years 8 months ago
2008
We present new direct data analysis showing that dynamically-built context-dependent phrasal translation lexicons are more useful resources for phrase-based statistical machine tr...
152
click to vote
INTERACT
2007
15 years 8 months ago
2007
Desktop environments have proven to be a powerful user interface and are used as the de facto standard human-computer interaction paradigm for over 40 years. However, there is a ri...