Sciweavers

1210 search results - page 193 / 242
» Specifying Precise Use Cases with Use Case Charts
Sort
View
CORR
2010
Springer
148views Education» more  CORR 2010»
13 years 7 months ago
Perturbation Resilience and Superiorization of Iterative Algorithms
Iterative algorithms aimed at solving some problems are discussed. For certain problems, such as finding a common point in the intersection of a finite number of convex sets, there...
Yair Censor, R. Davidi, Gabor T. Herman
ENTCS
2010
88views more  ENTCS 2010»
13 years 7 months ago
On the Observable Behaviour of Composite Components
The crucial strength of the component paradigm lies in the possibility to encapsulate behaviours. In this work, we focus on the observable behaviour of composite components which ...
Rolf Hennicker, Stephan Janisch, Alexander Knapp
IPM
2008
93views more  IPM 2008»
13 years 7 months ago
A new robust relevance model in the language model framework
ct 8 In this paper, a new robust relevance model is proposed that can be applied to both pseudo and true relevance feedback 9 in the language-modeling framework for document retrie...
Xiaoyan Li
CORR
2007
Springer
77views Education» more  CORR 2007»
13 years 7 months ago
On the interaction between sharing and linearity
nalysis of logic programs, abstract domains for detecting sharing and linearity ion are widely used. Devising abstract unification algorithms for such domains has proved to be ra...
Gianluca Amato, Francesca Scozzari
JUCS
2008
124views more  JUCS 2008»
13 years 7 months ago
Structure-Based Crawling in the Hidden Web
: The number of applications that need to crawl the Web to gather data is growing at an ever increasing pace. In some cases, the criterion to determine what pages must be included ...
Márcio L. A. Vidal, Altigran Soares da Silv...