Sciweavers

2941 search results - page 254 / 589
» The Myth of the Educational Computer
Sort
View
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 6 months ago
Optimal Partitions in Additively Separable Hedonic Games
We conduct a computational analysis of partitions in additively separable hedonic games that satisfy standard criteria of fairness and optimality. We show that computing a partiti...
Haris Aziz, Felix Brandt, Hans Georg Seedig
CORR
2010
Springer
202views Education» more  CORR 2010»
15 years 6 months ago
The Complexity of Reasoning for Fragments of Autoepistemic Logic
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore ...
Nadia Creignou, Arne Meier, Michael Thomas, Heribe...
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 6 months ago
Context Ontology Implementation for Smart Home
Context awareness is one of the important fields in ubiquitous computing. Smart Home, a specific instance of ubiquitous computing, provides every family with opportunities to enjo...
Tam Van Nguyen, Wontaek Lim, Huy Anh Nguyen, Deokj...
CORR
2010
Springer
150views Education» more  CORR 2010»
15 years 6 months ago
Stable partitions in additively separable hedonic games
Abstract. We present computational results concerning stable partitions in additively separable hedonic games. First, we propose a polynomial-time algorithm to compute a contractua...
Haris Aziz, Felix Brandt, Hans Georg Seedig
CORR
2010
Springer
107views Education» more  CORR 2010»
15 years 6 months ago
Fast GPGPU Data Rearrangement Kernels using CUDA
: Many high performance computing algorithms are bandwidth limited, hence the need for optimal data rearrangement kernels as well as their easy integration into the rest of the app...
Michael Bader, Hans-Joachim Bungartz, Dheevatsa Mu...