Sciweavers

5882 search results - page 1046 / 1177
» network 2010
Sort
View
JFP
2010
142views more  JFP 2010»
15 years 5 months ago
Linear type theory for asynchronous session types
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
Simon J. Gay, Vasco Thudichum Vasconcelos
JMLR
2010
155views more  JMLR 2010»
15 years 4 months ago
Approximate Tree Kernels
Convolution kernels for trees provide simple means for learning with tree-structured data. The computation time of tree kernels is quadratic in the size of the trees, since all pa...
Konrad Rieck, Tammo Krueger, Ulf Brefeld, Klaus-Ro...
JMS
2010
139views more  JMS 2010»
15 years 4 months ago
Application of Portable CDA for Secure Clinical-document Exchange
Health Level Seven (HL7) organization published the Clinical Document Architecture (CDA) for exchanging documents among heterogeneous systems and improving medical quality based on...
Kuo-Hsuan Huang, Sung-huai Hsieh, Yuan-Jen Chang, ...
JNCA
2010
106views more  JNCA 2010»
15 years 4 months ago
A methodology for engineering collaborative and ad-hoc mobile applications using SyD middleware
Today’s web applications are more collaborative and are using the standard and ubiquitous Internet protocols. We have earlier developed System on Mobile Devices (SyD) middleware...
Praveen Madiraju, Srilaxmi Malladi, Janaka Balasoo...
JOCN
2010
90views more  JOCN 2010»
15 years 4 months ago
Distinct Neural Correlates for Volitional Generation and Inhibition of Saccades
■ The antisaccade task has proven highly useful in basic and clinical neuroscience, and the neural structures involved are well documented. However, the specific neurocognitive ...
Benedikt Reuter, Christian Kaufmann, Julia Bender,...
« Prev « First page 1046 / 1177 Last » Next »