Sciweavers

43264 search results - page 279 / 8653
» Comparing models of computation
Sort
View
AIEDU
2008
105views more  AIEDU 2008»
15 years 4 months ago
A Human-Computer Dialogue System for Educational Debate: A Computational Dialectics Approach
: This paper reports research concerning issues involved in adopting a computational dialectics approach to develop a human-computer dialogue system for educational debate. In part...
Tangming Yuan, David J. Moore, Alec Grierson
ECCV
2010
Springer
15 years 9 months ago
ClassCut for Unsupervised Class Segmentation
Abstract. We propose a novel method for unsupervised class segmentation on a set of images. It alternates between segmenting object instances and learning a class model. The method...
CVPR
2012
IEEE
13 years 6 months ago
3D landmark model discovery from a registered set of organic shapes
We present a machine learning framework that automatically generates a model set of landmarks for some class of registered 3D objects: here we use human faces. The aim is to repla...
Clement Creusot, Nick Pears, Jim Austin
SPIN
2010
Springer
15 years 1 months ago
Efficient Explicit-State Model Checking on General Purpose Graphics Processors
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
Stefan Edelkamp, Damian Sulewski
ICDCS
1996
IEEE
15 years 8 months ago
The Relative Importance of Concurrent Writers and Weak Consistency Models
This paper presents a detailed comparison of the relative importance of allowing concurrent writers versus the choice of the underlying consistency model. Our comparison is based ...
Peter J. Keleher