5964 search results - page 150 / 1193 » A theory of speculative computation |
206
click to vote
SMA
2008
ACM
15 years 5 months ago
2008
ACM
View identification is the basal process for solid reconstruction from engineering drawings. A new method is presented to label various views from a section-involved drawing and i...
186
click to vote
ICALP
2004
Springer
16 years 10 days ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
153
Voted
COLING
2000
15 years 8 months ago
2000
A generative statistical model of dependency syntax is proposed based on 'l'csniSre's classical theory. It provides a stochastic formalization of the original model...
240
click to vote
DIGRA
2005
Springer
16 years 12 days ago
2005
Springer
Is there a way to analyze games by the means of a game? Is there a way to brainstorm game ideas and design solutions through theory? Finnish scholar and game designer Aki Järvine...
166
Voted
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
This paper considers the development of a general framework for the analysis of transmit beamforming methods in multiple antenna systems with finite-rate feedback. Inspired by the...