Sciweavers

7661 search results - page 1399 / 1533
» Languages and the Computing Profession
Sort
View
AUTOMATICA
2008
154views more  AUTOMATICA 2008»
15 years 4 months ago
Approximately bisimilar symbolic models for nonlinear control systems
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
Giordano Pola, Antoine Girard, Paulo Tabuada
COGSCI
2010
85views more  COGSCI 2010»
15 years 4 months ago
The Effects of Feature-Label-Order and Their Implications for Symbolic Learning
Symbols enable people to organize and communicate about the world. However, the ways in which symbolic knowledge is learned and then represented in the mind are poorly understood....
Michael Ramscar, Daniel Yarlett, Melody Dye, Katie...
135
Voted
CGF
2008
126views more  CGF 2008»
15 years 4 months ago
Part-type Segmentation of Articulated Voxel-Shapes using the Junction Rule
We present a part-type segmentation method for articulated voxel-shapes based on curve skeletons. Shapes are considered to consist of several simpler, intersecting shapes. Our met...
Dennie Reniers, Alexandru Telea
CONCURRENCY
2008
128views more  CONCURRENCY 2008»
15 years 4 months ago
Service-oriented approach to collaborative visualization
This paper presents a new service-oriented approach to the design and implementation of visualization systems in a Grid computing environment. The approach evolves the traditional...
H. Wang, Ken W. Brodlie, James W. Handley, Jason W...
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 4 months ago
Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs
An important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase. In particular, met...
Johannes Oetsch, Jörg Pührer, Hans Tompi...
« Prev « First page 1399 / 1533 Last » Next »