1511 search results - page 67 / 303 » Relational Parametricity for Computational Effects |
115
click to vote
DIGRA
2003
Springer
15 years 9 months ago
2003
Springer
This paper examines the computer game Harry Potter and the Philosopher’s Stone in relation to the novel with the same title. The analysis focuses on the temporal aspects of the ...
134
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
119
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
: The object abstraction has long proven to be an effective foundation upon which to structure application codes; however, its application to Grid Computing contains many challenge...
121
click to vote
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Most existing structure-from-motion methods follow a common two-step scheme, where relative camera motions are estimated in the first step and 3D structure is computed afterward ...
150
click to vote
ICMCS
2008
IEEE
15 years 11 months ago
2008
IEEE
Information overload has become an important problem in the internet, and that all kinds of existing ads flood into people’s eyes causes scarcity of user’s attention. To provi...