6010 search results - page 563 / 1202 » Computational Approaches to Drug Design |
215
click to vote
ICALP
2011
Springer
14 years 10 months ago
2011
Springer
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
230
click to vote
AAAI
2011
14 years 7 months ago
2011
Consider the problem of protecting endangered species by selecting patches of land to be used for conservation purposes. Typically, the availability of patches changes over time, ...
196
click to vote
DIGRA
2005
Springer
16 years 23 days ago
2005
Springer
This paper describes the preliminary research of an ambient intelligent system known as socioec(h)o. socio-ec(h)o explores the design and implementation of an ambient intelligent ...
228
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
Building an accurate emerging pattern classifier with a highdimensional dataset is a challenging issue. The problem becomes even more difficult if the whole feature space is unava...
163
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
The relative decline of single-threaded processor performance, coupled with the ongoing shift towards on chip parallelism requires that CAD applications run efficiently on paralle...