1301 search results - page 47 / 261 » Specifications via Realizability |
SAC
2009
ACM
14 years 4 months ago
2009
ACM
Incorporating background knowledge into data mining algorithms is an important but challenging problem. Current approaches in semi-supervised learning require explicit knowledge p...
CSE
2009
IEEE
14 years 4 months ago
2009
IEEE
– The role of serious games in validating computational sociocultural models is described. To accomplish this, we show the role of a cognitive engine in generating behaviors for ...
IWPC
2007
IEEE
14 years 4 months ago
2007
IEEE
Eye-tracking equipment is used to assess how well a subject comprehends UML class diagrams. The results of a study are presented in which eye movements are captured in a non-obtru...
IEEEAMS
2003
IEEE
14 years 3 months ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
IPPS
1999
IEEE
14 years 2 months ago
1999
IEEE
In this paper we propose a simple extension to the I/O architecture of scalable multiprocessors that optimizes page swap-outs significantly. More specifically, we propose the use o...