11612 search results - page 1992 / 2323 » Human Computer Confluence |
202
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
243
click to vote
ESANN
2008
15 years 8 months ago
2008
In this paper the application of reinforcement learning to Tetris is investigated, particulary the idea of temporal difference learning is applied to estimate the state value funct...
187
click to vote
IUSED
2008
15 years 8 months ago
2008
Usability supporting architectural patterns (USAPs) have been shown to provide developers with useful guidance for producing a software architecture design that supports usability...
203
click to vote
EACL
2003
ACL Anthology
15 years 8 months ago
2003
ACL Anthology
We present a text-based approach for the automatic indexing and retrieval of digital photographs taken at crime scenes. Our research prototype, SOCIS, goes beyond keyword-based ap...
174
click to vote
WSPI
2004
15 years 8 months ago
2004
Abstract. I introduce the notion of knowledge relativity as a proposed conceptual link between different scientific disciplines. Examples from Informatics and Philosophy, particula...