228 search results - page 8 / 46 » Towards computer aided mathematics |
ICPP
2007
IEEE
14 years 2 months ago
2007
IEEE
Program parallelization requires mapping computation and data to processing elements. Navigational Programming (NavP), based on the principle of migrating computations, offers a d...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
1 In the complexity and simulation communities there is growing support for the use of bottom-up computer-based simulation in the analysis of complex systems. The presumption is th...
VIIP
2001
13 years 10 months ago
2001
This work focuses on the visual representation of relations towards aiding the exploration and analysis of network intrusions. Fundamentally, the visual representations aid an ana...
DAS
2008
Springer
13 years 10 months ago
2008
Springer
Many on-line (interactive) mathematics recognition systems allow the creation of typeset equations, normally in LaTeX, but they do not support mathematical problem solving. In thi...
TOG
2008
13 years 8 months ago
2008
This paper addresses the problem of interactively modeling large street networks. We introduce a modeling framework that uses tensor fields to guide the generation of a street gra...