Sciweavers

5510 search results - page 923 / 1102
» Mathematics
Sort
View
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 2 months ago
Schaefer's theorem for graphs
Schaefer's theorem is a complexity classification result for so-called Boolean constraint satisfaction problems: it states that every Boolean constraint satisfaction problem ...
Manuel Bodirsky, Michael Pinsker
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 2 months ago
Computerized adaptive testing: implementation issues
Abstract. One of the fastest evolving field among teaching and learning research is students' performance evaluation. Computer based testing systems are increasingly adopted b...
Margit Antal, Levente Erös, Attila Imre
CORR
2010
Springer
119views Education» more  CORR 2010»
15 years 2 months ago
On Probabilistic Parallel Programs with Process Creation and Synchronisation
We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a mo...
Stefan Kiefer, Dominik Wojtczak
138
Voted
IJACTAICIT
2010
146views more  IJACTAICIT 2010»
15 years 2 months ago
Modeling and Simulation of a Pervasive Multimodal Multimedia Computing System for Visually-Impaired Users
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...
Ali Awde, Moeiz Miraoui, Chakib Tadj, Yacine Belli...
141
Voted
IJRR
2010
115views more  IJRR 2010»
15 years 2 months ago
Improving the Efficiency of Clearing with Multi-agent Teams
We present an anytime algorithm for coordinating multiple autonomous searchers to find a potentially adversarial target on a graphical representation of a physical environment. Th...
Geoffrey Hollinger, Sanjiv Singh, Athanasios Kehag...