1837 search results - page 149 / 368 » Abstraction and the C Machine Model |
173
click to vote
PPSN
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Taking inspiration from approximate ranking, this paper investigates the use of rank-based Support Vector Machine as surrogate model within CMA-ES, enforcing the invarian...
210
click to vote
ICALT
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—This work proposes a novel approach - personalized forecasting - to take into account the sequential effect in predicting student performance (PSP). Instead of using all...
176
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Experimental studies have shown that electing a leader based on measurements of the underlying communication network can be beneficial. We use this approach to study the problem ...
151
click to vote
TPHOL
2005
IEEE
16 years 3 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
174
click to vote
IADIS
2003
15 years 8 months ago
2003
With the consolidation of the Internet and other computer networks, the need of sophisticated systems to retrieve information increased enormously. In these networks, information ...