8701 search results - page 403 / 1741 » XML-Based Feature Modelling |
191
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Representation and measurement are two important issues for saliency models. Different with previous works that learnt sparse features from large scale natural statistics, we prop...
227
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
Aggregated search is the task of integrating results from potentially multiple specialized search services, or verticals, into the Web search results. The task requires predicting...
121
click to vote
FDL
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper gives an overview of the error sources in the solution of DAEs and discusses how different algorithms use tolerances to control these errors. The tolerance models of th...
132
click to vote
ECOOPW
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we explore the object-oriented reflective world, performing an overview of the existing models and presenting a set of features suitable to evaluate the quality of e...
174
click to vote
TACAS
1997
Springer
15 years 11 months ago
1997
Springer
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...