9888 search results - page 1794 / 1978 » compute 2009 |
199
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—The blogosphere can be construed as a knowledge network made of bloggers who are interacting through a social network to share, exchange or produce information. We claim that th...
192
click to vote
ISVC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we propose a novel and fast method to localize and track needles during image-guided interventions. Our proposed method is comprised of framework of needle...
165
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Multi-agent systems are difficult to develop. One reason for this is that agents are embedded in a society where all agents must agree to obey certain social norms in order for...
180
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
— We study the complexity of rationalizing network formation. In this problem we fix an underlying model describing how selfish parties (the vertices) produce a graph by making...
191
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...