5205 search results - page 255 / 1041 » Tilings and model theory |
ICSE
2011
IEEE-ACM
13 years 2 months ago
2011
IEEE-ACM
Parallel programs are difficult to write, test, and debug. This thesis explores how programmers build mental models about parallel programs, and demonstrates, through user evaluat...
ARGMAS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...
ICAPR
2005
Springer
14 years 4 months ago
2005
Springer
A non-dominated sorting genetic algorithm is used to evolve models of learning from different theories for multiple tasks. Correlation analysis is performed to identify parameters...
ISMIS
2005
Springer
14 years 4 months ago
2005
Springer
Being a good entry page to a Web site reflects how well the page enables a user to obtain optimal access, by browsing, to relevant and quality pages within the site. Our aim is to...
ECRTS
2003
IEEE
14 years 4 months ago
2003
IEEE
A theory of resource sharing in a mixed system with hard real-time and non-real-time processing requirements is presented. The real-time processing is modeled as rate-based execut...