9405 search results - page 1466 / 1881 » Computing a Model of Set Theory |
178
click to vote
FUIN
2006
15 years 6 months ago
2006
We introduce a new variant of membrane systems where the rules are directly assigned to membranes and, moreover, every membrane carries an energy value that can be changed during a...
196
Voted
FGCS
2007
15 years 6 months ago
2007
In this paper we present CAMELotGrid, a tool to manage Grid computations of Cellular Automata that support the efficient simulation of complex systems modeled by a very large numb...
172
click to vote
IJPP
2010
15 years 5 months ago
2010
Abstract. We show how computations such as those involved in American or European-style option price valuations with the explicit finite difference method can be performed in par...
196
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
267
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Active range acquisition systems such as light detection and ranging (LIDAR) and time-of-flight (TOF) cameras achieve high depth resolution but suffer from poor spatial resolutio...