Sciweavers

1008 search results - page 103 / 202
» A graphic functional-dataflow language
Sort
View
TPLP
2010
135views more  TPLP 2010»
14 years 8 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
RWEB
2010
Springer
14 years 7 months ago
Model Driven Engineering with Ontology Technologies
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
Steffen Staab, Tobias Walter, Gerd Gröner, Fe...
ICONFERENCE
2011
14 years 4 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
IJPP
2011
99views more  IJPP 2011»
14 years 4 months ago
Regular Lattice and Small-World Spin Model Simulations Using CUDA and GPUs
Data-parallel accelerator devices such as Graphical Processing Units (GPUs) are providing dramatic performance improvements over even multicore CPUs for lattice-oriented applicatio...
Kenneth A. Hawick, Arno Leist, Daniel P. Playne
TOG
2012
267views Communications» more  TOG 2012»
13 years 10 days ago
Global parametrization by incremental flattening
Global parametrization of surfaces requires singularities (cones) to keep distortion minimal. We describe a method for finding cone locations and angles and an algorithm for glob...
Ashish Myles, Denis Zorin