Sciweavers

4326 search results - page 816 / 866
» A Model for Process Service Interaction
Sort
View
IJET
2007
148views more  IJET 2007»
14 years 9 months ago
ENGLISH LANGUAGE TEACHING WITH AN ELECTRONIC CONCEPT MAPPING
—Educational technologies have contributed greatly to the improvement of the process of education. Besides contributing to education directly, the development in new technologies...
Erdogan Tezci, Cihad Demirli, Vahit Sapar
TCS
2008
14 years 9 months ago
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
This article presents formalized intuitionistic proofs for the polyhedra genus theorem, the Euler formula and a sufficient condition of planarity. They are based on a hypermap mod...
Jean-François Dufourd
TVCG
2008
145views more  TVCG 2008»
14 years 9 months ago
Geometry-Based Edge Clustering for Graph Visualization
Graphs have been widely used to model relationships among data. For large graphs, excessive edge crossings make the display visually cluttered and thus difficult to explore. In thi...
Weiwei Cui, Hong Zhou, Huamin Qu, Pak Chung Wong, ...
TOG
2002
154views more  TOG 2002»
14 years 9 months ago
Image based flow visualization
A new method for the visualization of two-dimensional fluid flow is presented. The method is based on the advection and decay of dye. These processes are simulated by defining eac...
Jarke J. van Wijk
SIGSOFT
2010
ACM
14 years 7 months ago
Supporting human-intensive systems
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...
Lori A. Clarke, Leon J. Osterweil, George S. Avrun...