5066 search results - page 213 / 1014 » Spectra of structures and relations |
136
click to vote
LWA
2008
15 years 7 months ago
2008
We investigate the topical structure of the set of documents used to expand a query in pseudorelevance feedback (PRF). We propose a coherence score to measure the relative topical...
154
Voted
AVI
2004
15 years 7 months ago
2004
Complex hypermedia structures can be difficult to author and maintain, especially when the usual hierarchic representation cannot capture important relations. We propose a graph-b...
132
click to vote
EOR
2008
15 years 6 months ago
2008
Spanish savings banks (SBs) are financial institutions with a wide mission that includes different stakeholders' goals. Profit maximization is only one among several goals, a...
166
Voted
IEE
2008
15 years 6 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
152
click to vote
JLP
2006
15 years 6 months ago
2006
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...