Sciweavers

228 search results - page 5 / 46
» Towards computer aided mathematics
Sort
View
GEOINFO
2003
13 years 8 months ago
Planning Brazilian Urban Traffic with a Geographic Application Software
Planning and optimizing urban traffic is a difficult problem, with considerable economic and social impacts. The development of suitable software tools to aid municipal governments...
Juliano Lopes de Oliveira, André Constantin...
IJLT
2006
85views more  IJLT 2006»
13 years 7 months ago
Job aids and performance support: the convergence of learning and work
: Performance support is happening where we work and live. Under a tree and at a park bench, in a submarine, at a parent-teacher meeting, in a cubicle, or on the manufacturing floo...
Allison Rossett, Lisa Schafer
IWFM
2003
172views Formal Methods» more  IWFM 2003»
13 years 8 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane
BIBE
2008
IEEE
204views Bioinformatics» more  BIBE 2008»
14 years 1 months ago
2D Oculomotor Plant Mathematical Model for eye movement simulation
-This paper builds a two dimensional Oculomotor Plant Mathematical Model (2DOPMM) that is capable of generating eye movement trace on a two dimensional plane. The key difference be...
Oleg Komogortsev, Ukwatta K. S. Jayarathna
RSCTC
2000
Springer
147views Fuzzy Logic» more  RSCTC 2000»
13 years 11 months ago
Towards Rough Neural Computing Based on Rough Membership Functions: Theory and Application
This paper introduces a neural network architecture based on rough sets and rough membership functions. The neurons of such networks instantiate approximate reasoning in assessing ...
James F. Peters, Andrzej Skowron, Liting Han, Shee...