8582 search results - page 74 / 1717 » Here or There |
BICOB
2009
Springer
14 years 4 months ago
2009
Springer
Here we present a simple method based on graph spectral properties to automatically partition multi-domain proteins into individual domains. The identification of structural domain...
IVA
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Several challenges remain in the effort to build software capable of conducting realtime dialogue with people. Part of the problem has been a lack of realtime flexibili...
MFCS
2009
Springer
14 years 4 months ago
2009
Springer
We investigate the computational complexity of a general “compression task” centrally occurring in the recently developed technique of iterative compression for exactly solving...
FOSSACS
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper concerns studying dissipativity of a system with supply rates that depend on one or more parameters. We show that suitable choice of supply rate turns out to make di...