Sciweavers

6016 search results - page 888 / 1204
» The semantics of graphical languages
Sort
View
CGF
2007
156views more  CGF 2007»
15 years 6 months ago
QuadCover - Surface Parameterization using Branched Coverings
We introduce an algorithm for the automatic computation of global parameterizations on arbitrary simplicial 2manifolds, whose parameter lines are guided by a given frame field, f...
Felix Kälberer, Matthias Nieser, Konrad Polth...
TCS
2008
15 years 6 months ago
Modeling spiking neural networks
A notation for the functional specification of a wide range of neural networks consisting of temporal or non-temporal neurons, is proposed. The notation is primarily a mathematica...
Ioannis D. Zaharakis, Achilles D. Kameas
PUC
2007
113views more  PUC 2007»
15 years 6 months ago
Designing technologies for presence-in-absence: illustrating the Cube and the Picture Frame
Presence-in-absence is a subjective feeling of a significant other when he or she is not physically copresent and several emerging technologies increasingly aim to support this fe...
Kasper Garnæs, Olga Grünberger, Jesper ...
TPLP
2010
135views more  TPLP 2010»
15 years 5 months ago
Formalization of psychological knowledge in answer set programming and its application
In this paper we explore the use of Answer Set Programming (ASP) to formalize, and reason about, psychological knowledge. In the field of psychology, a considerable amount of kno...
Marcello Balduccini, Sara Girotto
ICONFERENCE
2011
15 years 1 months ago
Icons: pictures or logograms?
The author proposed three studies (i.e. a large-N survey, a behavioral experiment, and a functional magnetic resonance imaging research) to investigate whether people read icons a...
Sheng-Cheng Huang