5356 search results - page 932 / 1072 » Adventures in time and space |
151
click to vote
NFM
2011
14 years 8 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
205
Voted
PE
2011
Springer
14 years 8 months ago
2011
Springer
In this paper we identify a class of Quasi-Birth-and-Death (QBD) processes where the transitions to higher (resp. lower) levels are restricted to occur only from (resp. to) a subs...
129
click to vote
TNN
2011
14 years 8 months ago
2011
—Reservoir computing (RC) refers to a new class of state-space models with a fixed state transition structure (the “reservoir”) and an adaptable readout form the state space...
133
click to vote
TVCG
2011
14 years 8 months ago
2011
—Direct volume rendering is an important tool for visualizing complex data sets. However, in the process of generating 2D images from 3D data, information is lost in the form of ...
138
click to vote
TVCG
2011
14 years 8 months ago
2011
—We present an application of interactive global illumination and spatially augmented reality to architectural daylight modeling that allows designers to explore alternative desi...