Sciweavers

8669 search results - page 389 / 1734
» Computing matrix representations
Sort
View
WOTUG
2008
15 years 8 months ago
Representation and Implementation of CSP and VCR Traces
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
Neil C. C. Brown, Marc L. Smith
ARTMED
2006
80views more  ARTMED 2006»
15 years 7 months ago
A formal theory for spatial representation and reasoning in biomedical ontologies
Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomed...
Maureen Donnelly, Thomas Bittner, Cornelius Rosse
JOCN
2011
74views more  JOCN 2011»
15 years 1 months ago
Cross-domain Effects of Music and Language Experience on the Representation of Pitch in the Human Auditory Brainstem
■ Neural encoding of pitch in the auditory brainstem is known to be shaped by long-term experience with language or music, implying that early sensory processing is subject to e...
Gavin M. Bidelman, Jackson T. Gandour, Ananthanara...
BMCBI
2011
14 years 10 months ago
In-silico prediction of disorder content using hybrid sequence representation
Background: Intrinsically disordered proteins play important roles in various cellular activities and their prevalence was implicated in a number of human diseases. The knowledge ...
Marcin J. Mizianty, Tuo Zhang, Bin Xue, Yaoqi Zhou...
CVPR
2012
IEEE
13 years 9 months ago
Robust late fusion with rank minimization
In this paper, we propose a rank minimization method to fuse the predicted confidence scores of multiple models, each of which is obtained based on a certain kind of feature. Spe...
Guangnan Ye, Dong Liu, I-Hong Jhuo, Shih-Fu Chang