171 search results - page 14 / 35 » What's Decidable about Sequences |
SIGMOD
2012
ACM
11 years 10 months ago
2012
ACM
The rise of smartphones equipped with various sensors has enabled personalization of various applications based on user contexts extracted from sensor readings. At the same time i...
INLG
2004
Springer
14 years 26 days ago
2004
Springer
This discussion paper describes a sequence of experiments with human subjects aimed at finding out how an nlg system should choose between the different forms of a gradable adjec...
AI
1999
Springer
13 years 7 months ago
1999
Springer
A central problem in multistrategy learning systems is the selection and sequencing of machine learning algorithms for particular situations. This is typically done by the system ...
HOTNETS
2010
13 years 2 months ago
2010
Rate adaptation is a fundamental primitive in wireless networks. Since wireless channel strength varies quickly and unpredictably, senders have to constantly measure the channel a...
SAS
1997
Springer
13 years 11 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...