Sciweavers

330 search results - page 56 / 66
» Reflections on a programming Olympiad
Sort
View
WSCG
2003
170views more  WSCG 2003»
14 years 11 days ago
Experimental System for Visualization of the Light Load
This paper presents our work on an experimental system for visualization of the light load. The light load is thought as the total amount of light radiation received by all areas ...
Martin Cadík, Pavel Slavík, Jan Prik...
COMGEO
2008
ACM
13 years 11 months ago
Recursive geometry of the flow complex and topology of the flow complex filtration
The flow complex is a geometric structure, similar to the Delaunay tessellation, to organize a set of (weighted) points in Rk. Flow shapes are topological spaces corresponding to ...
Kevin Buchin, Tamal K. Dey, Joachim Giesen, Matthi...
ENTCS
2008
89views more  ENTCS 2008»
13 years 11 months ago
CC(X): Semantic Combination of Congruence Closure with Solvable Theories
We present a generic congruence closure algorithm for deciding ground formulas in the combination of the theory of equality with uninterpreted symbols and an arbitrary built-in so...
Sylvain Conchon, Evelyne Contejean, Johannes Kanig...
ENGL
2006
204views more  ENGL 2006»
13 years 11 months ago
The Communication in Intelligent Distributed Fault Tolerant Systems
Intelligent Agents have originated a lot of discussion about what they are, and how they are different from general programs. We describe in this paper a new paradigm for intellige...
Arnulfo Alanis Garza, Juan José Serrano, Ra...
CE
2007
81views more  CE 2007»
13 years 11 months ago
Aptitude-treatment interactions in preservice teachers' behavior change during computer-simulated teaching
Adapting training methods to specific teacher traits to best facilitate the training effects for preservice teachers is an important, yet neglected, topic in aptitude-treatment in...
Yu-Chu Yeh