2526 search results - page 456 / 506 » A New Algorithm for Answer Set Computation |
BMCBI
2006
13 years 8 months ago
2006
Background: Caspases belong to a class of cysteine proteases which function as critical effectors in apoptosis and inflammation by cleaving substrates immediately after unique sit...
TCAD
2008
13 years 8 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
RAS
2002
13 years 7 months ago
2002
Especially in dynamic environments a key feature concerning the robustness of mobile robot navigation is the capability of global self-localization. This term denotes a robot'...
TOG
2002
13 years 7 months ago
2002
There are many applications that demand large quantities of natural looking motion. It is difficult to synthesize motion that looks natural, particularly when it is people who mus...
JMLR
2010
13 years 2 months ago
2010
We are concerned with a multivariate response regression problem where the interest is in considering correlations both across response variates and across response samples. In th...