Sciweavers

1604 search results - page 33 / 321
» Graphical and Computational Representation of Groups
Sort
View
SPIN
2010
Springer
13 years 7 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
VC
2010
168views more  VC 2010»
13 years 4 months ago
From sentence to emotion: a real-time three-dimensional graphics metaphor of emotions extracted from text
This paper presents a novel concept: a graphical representation of human emotion extracted from text sentences. The major contributions of this paper are the following. First, we p...
Stéphane Gobron, Junghyun Ahn, Georgios Pal...
ICPR
2008
IEEE
14 years 11 months ago
Robust shape normalization based on implicit representations
We introduce a new shape normalization method based on implicit shape representations. The proposed method is robust with respect to deformations and invariant to similarity trans...
Carlo Tomasi, Tingting Jiang
SIGGRAPH
1997
ACM
14 years 1 months ago
Progressive simplicial complexes
In this paper, we introduce the progressive simplicial complex (PSC) representation, a new format for storing and transmitting triangulated geometric models. Like the earlier prog...
Jovan Popovic, Hugues Hoppe
COLING
1996
13 years 11 months ago
An Education and Research Tool for Computational Semantics
This paper describes an interactive graphical environment for computational semantics. The system provides a teaching tool, a stand alone extendible grapher, and a library of algo...
Karsten Konrad, Holger Maier, David Milward, Manfr...