7623 search results - page 106 / 1525 » Constructive Volume Modeling |
CSL
2007
Springer
15 years 8 months ago
2007
Springer
We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with...
120
Voted
WSC
2001
15 years 3 months ago
2001
This paper presents a methodology that integrates fuzzy clustering and computer simulation and demonstrates its use in modeling earthmoving operations. A simulation system (SimEar...
125
Voted
ANLP
2000
15 years 3 months ago
2000
A major obstacle to the construction of a probabilistic translation model is the lack of large parallel corpora. In this paper we first describe a parallel text mining system that...
INFORMS
2007
15 years 2 months ago
2007
It has been shown in prior work in management science, statistics and machine learning that using an ensemble of models often results in better performance than using a single ‘...
121
click to vote
TOMACS
2008
15 years 2 months ago
2008
abstractly; it is intended to provide a basis for implementing efficient and scalable parallel algorithms that correctly simulate DEVS models. Categories and Subject Descriptors: I...