2233 search results - page 339 / 447 » Modular type classes |
137
click to vote
LICS
2009
IEEE
16 years 29 days 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...
178
click to vote
AMI
2009
Springer
16 years 27 days 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...
161
click to vote
WABI
2009
Springer
16 years 27 days 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. ...
188
click to vote
WEBI
2009
Springer
16 years 27 days 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...
CIKM
2009
Springer
16 years 27 days 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...