4156 search results - page 722 / 832 » Modeling and simulation of retrieving process |
110
click to vote
LICS
2012
IEEE
13 years 9 days ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
106
click to vote
BMCBI
2004
14 years 9 months ago
2004
Background: DopaNet http://www.dopanet.org is a Systems Biology initiative that aims to investigate precisely and quantitatively all the aspects of neurotransmission in a specific...
IUI
2010
ACM
15 years 6 months ago
2010
ACM
Most of the previous work on non-invasive brain-computer interfaces (BCIs) has been focused on feature extraction and classification algorithms to achieve high performance for the...
195
click to vote
ICDE
2003
IEEE
15 years 11 months ago
2003
IEEE
The XML Wrapper is a new feature of the federated database capabilities of DB2/UDB v8. It enables users and applications to issue SQL queries against XML data from a variety of so...
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Micromachined picoliter vials in silicon dioxide with a typical depth of 6.0?m are filled with a liquid sample. Epiilluminated microscopic imaging during evaporation of the liquid...