6562 search results - page 947 / 1313 » Noetherianity and Combination Problems |
239
click to vote
IDTRUST
2009
ACM
16 years 2 months ago
2009
ACM
We introduce a formal semantics based calculus of trust that explicitly represents trust and quantifies the risk associated with trust in public key infrastructure (PKI) and iden...
215
click to vote
PPPJ
2009
ACM
16 years 2 months ago
2009
ACM
Accelerated graphics cards, or Graphics Processing Units (GPUs), have become ubiquitous in recent years. On the right kinds of problems, GPUs greatly surpass CPUs in terms of raw ...
189
click to vote
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We study a model of games that combines concurrency, imperfect information and stochastic aspects. Those are finite states games in which, at each round, the two players...
208
click to vote
ICSE
2009
IEEE-ACM
16 years 2 months ago
2009
IEEE-ACM
One of the most difficult problems that humanity currently faces is the sustainable development of our society, i.e. how to meet the needs of the present without compromising the...
210
click to vote
ISBRA
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We investigate the problem of inferring contiguous ancestral regions (CARs) of the genome of the last common ancestor of all extant amniotes, based on the currently seque...