2335 search results - page 358 / 467 » Type Checking Type Classes |
139
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...
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...
COCOON
2009
Springer
15 years 9 months ago
2009
Springer
Edge-intersection graphs of paths in grids are graphs that can be represented with vertices as paths in grids and edges between the vertices of the graph exist whenever two grid pa...
126
click to vote
ICB
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Fingerprints are considered to be unique because they contain various distinctive features, including minutiae, ridges, pores, etc. Some attempts have been made to model ...
196
click to vote
LOPSTR
2009
Springer
15 years 9 months ago
2009
Springer
Answer Set Programming (ASP) is a powerful paradigm of logic programming for non-monotonic reasoning. However, the restriction of “grounded range-restricted function-free normal ...