1011 search results - page 101 / 203 » The three dimensions of proofs |
192
click to vote
ADAPTIVE
2007
Springer
16 years 17 days ago
2007
Springer
One distinctive feature of any adaptive system is the user model that represents essential information about each user. This chapter complements other chapters of this book in revi...
197
click to vote
ECRTS
2006
IEEE
16 years 13 days ago
2006
IEEE
Developing distributed real-time and embedded (DRE) systems in which multiple quality-of-service (QoS) dimensions must be managed is an important and challenging problem. This pap...
145
click to vote
HPCS
2006
IEEE
16 years 13 days ago
2006
IEEE
We address computational issues relevant to the study of disordered quantum mechanical systems at very low temperatures. As an example we consider the disordered BoseHubbard model...
180
click to vote
ICAT
2006
IEEE
16 years 13 days ago
2006
IEEE
Currently there are many software packages that allow analysis of Geographic Information Systems (GIS) data. However, these software packages limit user interaction and exploratio...
133
click to vote
ICMCS
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper we examine the affective content of meeting videos. First we asked five subjects to manually label three meeting videos using continuous response measurement (contin...