9425 search results - page 439 / 1885 » Some Notes on Models and Modelling |
200
Voted
ICLP
2003
Springer
15 years 10 months ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
170
click to vote
HPCA
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper proposes the use of formal feedback control theory as a way to implement adaptive techniques in the processor architecture. Dynamic thermal management (DTM) is used as ...
165
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Can we model the temporal evolution of topics in Web image collections? If so, can we exploit the understanding of dynamics to solve novel visual problems or improve reco...
119
click to vote
CSIE
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper, the application of individual scenario-based traffic models in identifying the traffic carrying needs of networks in patient monitoring environments is presented. S...
167
click to vote
ADAEUROPE
2001
Springer
15 years 9 months ago
2001
Springer
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...