6599 search results - page 32 / 1320 » Towards a Theory of Information |
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...
101
click to vote
AAAI
2007
15 years 4 months ago
2007
Models of crowd behavior facilitate analysis and prediction of human group behavior, where people are affected by each other’s presence. Unfortunately, existing models leave man...
109
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
In contrast to classical game theoretic analysis of simultaneous and sequential play in bimatrix games, Steven Brams has proposed an alternative framework called the Theory of Mov...
ICCV
2003
IEEE
16 years 3 months ago
2003
IEEE
In this paper, we present a mathematical theory for Marr's primal sketch. We first conduct a theoretical study of the descriptive Markov random field model and the generative...
103
click to vote
PODC
2005
ACM
15 years 7 months ago
2005
ACM
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...