Sciweavers

3653 search results - page 137 / 731
» On Recognizable Timed Languages
Sort
View
PEPM
2007
ACM
15 years 4 months ago
Tasks: language support for event-driven programming
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein
81
Voted
ICALT
2005
IEEE
15 years 3 months ago
Integrating Wireless Technology in Pocket Electronic Dictionary to Enhance Language Learning
We believe that with regard to the information technology applications in education, one student one computing device will be the future and long-term trend. Many related studies ...
Jen-Kai Liang, Tzu-Chien Liu, Hsue-Yie Wang, Tak-W...
TLCA
2005
Springer
15 years 3 months ago
L3: A Linear Language with Locations
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
Greg Morrisett, Amal J. Ahmed, Matthew Fluet
CLEF
2004
Springer
15 years 3 months ago
Summarization Design for Interactive Cross-Language Question Answering
Abstract. This paper describes an experimental investigation of interactive techniques for cross-language information access. The task was to answer factual questions from a large ...
Daqing He, Jianqiang Wang, Jun Luo, Douglas W. Oar...
COLT
2004
Springer
15 years 3 months ago
Concentration Bounds for Unigrams Language Model
Abstract. We show several PAC-style concentration bounds for learning unigrams language model. One interesting quantity is the probability of all words appearing exactly k times in...
Evgeny Drukh, Yishay Mansour