10271 search results - page 452 / 2055 » Computer Science |
145
click to vote
EXPCS
2007
15 years 9 months ago
2007
In this paper, we introduce EXACT, the EXperimental Algorithmics Computational Toolkit. EXACT is a software framework for describing, controlling, and analyzing computer experimen...
100
Voted
CAD
2004
Springer
15 years 4 months ago
2004
Springer
A computer modeling approach for constructing a three-dimensional microsphere-packed bone graft structure is presented. The modeling approach consists of both geometric and CAD-ba...
140
click to vote
IMSCCS
2007
IEEE
15 years 11 months ago
2007
IEEE
In order to investigate the behavior of the solvation, particularly, to quantify the solvent effects on the properties of solutes on a molecular basis, several simulation approach...
158
click to vote
TLCA
2007
Springer
15 years 11 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
137
Voted
GI
2004
Springer
15 years 10 months ago
2004
Springer
: The concept of Massively Multiplayer Games (MMG) recently has spread into all classical genres of real-time computer games. This paper summarizes our work on a novel proxy server...