461 search results - page 34 / 93 » Simulating the universe |
75
Voted
WSC
1998
14 years 11 months ago
1998
The article deals with the development of simulation models for the semiconductor industry at the Technical University of Ilmenau. Hereby, the main focus is set on the development...
CVPR
2009
IEEE
16 years 4 months ago
2009
IEEE
In this paper, we propose a method for estimating the
optical center of a camera given only a single image with
vignetting. This is accomplished by identifying the center
of the...
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
The paper describes the architecture of Brown University’s agent, Botticelli, a finalist in the 2003 Trading Agent Competition in Supply Chain Management (TAC SCM). In TAC SCM,...
TCC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
CONCUR
2003
Springer
15 years 2 months ago
2003
Springer
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...