959 search results - page 72 / 192 » Transfers between Logics and their Applications |
151
click to vote
LOGCOM
2008
15 years 6 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
141
click to vote
COLING
2008
15 years 7 months ago
2008
We introduce a novel semantic representation formalism, Almost Flat Functional semantics (AFF), which is designed as an intelligent compromise between linguistically motivated pre...
185
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Phylogenetic networks are a generalization of phylogenetic trees that allow for the representation of evolutionary events acting at the population level, like recombin...
184
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Applications in the creation of virtual auditory spaces (VAS) and sonification require individualized head related transfer functions (HRTFs) for perceptual fidelity. HRTFs exhi...
194
click to vote
IPPS
2009
IEEE
16 years 24 days ago
2009
IEEE
—We present an application programming interface (API) for the C programming language that facilitates the development of dense linear algebra algorithms on graphics processors a...