8719 search results - page 311 / 1744 » A Categorical Approach to Simulations |
174
click to vote
ISCAS
2005
IEEE
16 years 9 days ago
2005
IEEE
— Simulated Evolution (SimE) is a sound stochastic approximation algorithm based on the principles of adaptation. If properly engineered it is possible for SimE to reach nearopti...
175
click to vote
ICLP
2004
Springer
16 years 2 days ago
2004
Springer
A protein is identified by a finite sequence of aminoacids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting t...
200
click to vote
PADL
2004
Springer
16 years 2 days ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...
170
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
Clustering, or unsupervised classification, has many uses in fields that depend on grouping results from large amount of data, an example being the N-body cosmological simulation ...
173
Voted
ISMAR
2002
IEEE
15 years 11 months ago
2002
IEEE
There is a problem in the spatial and temporal separation between the varying forms of representation used in urban design. Sketches, physical models, and more recently computatio...