Sciweavers

394 search results - page 58 / 79
» Composition mechanisms for retrenchment
Sort
View
ACL
1998
13 years 10 months ago
A Generative Lexicon Perspective for Adjectival Modification
This paper presents a semantic interpretation of adjectival modification in terms of the Generative Lexicon. It highlights the elements which can be borrowed from the GL and devel...
Patrick Saint-Dizier
BMCBI
2005
116views more  BMCBI 2005»
13 years 8 months ago
Dynamic covariation between gene expression and proteome characteristics
Background: Cells react to changing intra- and extracellular signals by dynamically modulating complex biochemical networks. Cellular responses to extracellular signals lead to ch...
Mansour Taghavi Azar Sharabiani, Markku Siermala, ...
ISBI
2008
IEEE
14 years 9 months ago
Texture-driven coronary artery plaque characterization using wavelet packet signatures
High-frequency ultrasound transducers are being widely used to generate high resolution, real time, cross-sectional images of the coronary arteries. In this paper, we present a ro...
Amin Katouzian, Babak Baseri, Elisa E. Konofagou, ...
ICFP
2002
ACM
14 years 8 months ago
Composing monads using coproducts
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
Christoph Lüth, Neil Ghani
ESOP
2010
Springer
14 years 6 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez