983 search results - page 139 / 197 » Mathematics Computing Environment on the Web |
183
click to vote
CEFP
2007
Springer
15 years 10 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
113
click to vote
SMI
2005
IEEE
15 years 10 months ago
2005
IEEE
Creating surfaces with intricate small-scale features (microgeometry) and detail is an important task in geometric modeling and computer graphics. We present a model processing me...
146
click to vote
ICANN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Swarm Intelligence (SI) is the property of a system whereby the collective behaviors of (unsophisticated) entities interacting locally with their environment cause cohere...
141
click to vote
SOFTVIS
2003
ACM
15 years 9 months ago
2003
ACM
UML diagrams have become increasingly important in the engineering and reengineering processes for software systems. Of particular interest are UML class diagrams whose purpose is...
143
click to vote
NIPS
2008
15 years 5 months ago
2008
Uncertainty is omnipresent when we perceive or interact with our environment, and the Bayesian framework provides computational methods for dealing with it. Mathematical models fo...