13306 search results - page 385 / 2662 » Theoretical Computer Science |
156
click to vote
IMSCCS
2007
IEEE
16 years 1 months ago
2007
IEEE
TOPSAW program was developed by Dr. S. Chang and his team and has been successfully used in the replication of sawmill cutting to determine the optimal cutting pattern for a log t...
178
click to vote
IMSCCS
2007
IEEE
16 years 1 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...
207
click to vote
TLCA
2007
Springer
16 years 28 days 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...
160
click to vote
GI
2004
Springer
16 years 6 days 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...
213
Voted
STACS
2001
Springer
15 years 11 months ago
2001
Springer
We consider the problem of computing an optimal range assignment in a wireless network which allows a specified source station to perform a broadcast operation. In particular, we ...