532 search results - page 93 / 107 » New Results on the Complexity of the Middle Bit of Multiplic... |
NEUROSCIENCE
2001
Springer
14 years 1 months ago
2001
Springer
We propose a theoretical framework for specification and analysis of a class of learning problems that arise in open-ended environments that contain multiple, distributed, dynamic...
BMCBI
2008
13 years 9 months ago
2008
nd: Biological pathways are a useful abstraction of biological concepts, and software tools to deal with pathway diagrams can help biological research. PathVisio is a new visualiz...
OZCHI
2006
ACM
14 years 2 months ago
2006
ACM
Federated identity management is often viewed by corporations as a solution to support secure online commerce by synthesising complex and fragmented user information into a single...
QEST
2007
IEEE
14 years 3 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
BMCBI
2008
13 years 9 months ago
2008
Background: Recent discoveries of a large variety of important roles for non-coding RNAs (ncRNAs) have been reported by numerous researchers. In order to analyze ncRNAs by kernel ...