277 search results - page 25 / 56 » From Reversible to Irreversible Computations |
ATVA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
AAAI
2007
13 years 10 months ago
2007
A new spectral approach to value function approximation has recently been proposed to automatically construct basis functions from samples. Global basis functions called proto-val...
IMSCCS
2006
IEEE
14 years 2 months ago
2006
IEEE
Background: The amplification of variable regions of immunoglobulins has become a major challenge in the cloning of antibody genes, whether from hybridoma cell lines or splenic B ...
BMCBI
2007
13 years 8 months ago
2007
Background: The advent of RNA interference techniques enables the selective silencing of biologically interesting genes in an efficient way. In combination with DNA microarray tec...
PERCOM
2010
ACM
14 years 10 days ago
2010
ACM
—This paper studies economic models of user participation incentive in participatory sensing applications. User participation is the most important element in participatory sensi...