5084 search results - page 667 / 1017 » Proving Possibility Properties |
160
click to vote
IV
2005
IEEE
16 years 11 days ago
2005
IEEE
The problem of visualizing high dynamic range images on the devices with restricted dynamic range has recently gained a lot of interest in the computer graphics community. Various...
146
click to vote
SYNASC
2005
IEEE
16 years 11 days ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
145
click to vote
STORAGESS
2005
ACM
16 years 10 days ago
2005
ACM
We study cryptographic modeling and encryption-based design techniques for guaranteeing privacy of data that is first stored in some type of computer memory and then deleted. We ...
157
click to vote
APN
2005
Springer
16 years 10 days ago
2005
Springer
STGs give a formalism for the description of asynchronous circuits based on Petri nets. To overcome the state explosion problem one may encounter during circuit synthesis, a nondet...
187
click to vote
CSL
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...