1982 search results - page 241 / 397 » Parametricity and dependent types |
147
click to vote
CRITIS
2007
15 years 8 months ago
2007
Abstract In this paper we discuss the properties and algorithmic methods for the identification and classification of cyclical interdependencies in critical infrastructures based...
155
click to vote
LREC
2010
15 years 7 months ago
2010
Reflecting the rapid growth of science, technology, and culture, it has become common practice to consult tools on the World Wide Web for various terms. Existing search engines pr...
155
click to vote
USAB
2008
15 years 7 months ago
2008
Three different instruction formats were examined respecting their usefulness for the navigation through hierarchical menus in mobile phones. 56 middle-aged adults had to solve fou...
131
click to vote
ACL
2004
15 years 7 months ago
2004
In this paper we present a methodology for extracting subcategorisation frames based on an automatic LFG f-structure annotation algorithm Penn-II Treebank. We extract abstract syn...
192
click to vote
CSREAEEE
2006
15 years 7 months ago
2006
- Collaborative filtering is a widely used and proven method of building recommender systems that provide personalized recommendations on products or services based on explicit rat...