13383 search results - page 2284 / 2677 » Abstractions from proofs |
134
Voted
DSL
2009
15 years 2 months ago
2009
Abstract. Both XML and Lisp have demonstrated the utility of generic syntax for expressing tree-structured data. But generic languages do not provide the syntactic richness of cust...
144
Voted
ECIR
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper describes a path-based method to use the multi-step navigation information discovered from website structures for web page ranking. Use of hyperlinks to enhanc...
156
click to vote
ECIR
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Active learning refers to the task of devising a ranking function that, given a classifier trained from relatively few training examples, ranks a set of additional unlabe...
134
Voted
EGC
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. In this article we consider objects for which we have a matrix of dissimilarities and we are interested in their links with covariates. We focus on state sequences for wh...
165
Voted
ENASE
2009
15 years 2 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...