2233 search results - page 339 / 447 » Modular type classes |
94
Voted
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
—What is reachability in higher-order functional programs? We formulate reachability as a decision problem in the setting of the prototypical functional language PCF, and show th...
132
Voted
AMI
2009
Springer
15 years 9 months ago
2009
Springer
This paper describes fall detection, activity recognition and the detection of anomalous gait in the Confidence project. The project aims to prolong the independence of the elderly...
115
Voted
WABI
2009
Springer
15 years 9 months ago
2009
Springer
Regulatory antisense RNAs are a class of ncRNAs that regulate gene expression by prohibiting the translation of an mRNA by establishing stable interactions with a target sequence. ...
140
Voted
WEBI
2009
Springer
15 years 9 months ago
2009
Springer
Understanding query reformulation patterns is a key step towards next generation web search engines: it can help improving users’ web-search experience by predicting their inten...
67
Voted
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we present a general framework to study sequences of search activities performed by a user. Our framework provides (i) a vocabulary to discuss types of features, mod...