Sciweavers

210 search results - page 1 / 42
» A Unified Theory of Irony and Its Computational Formalizatio...
Sort
View
COLING
1996
13 years 6 months ago
A Unified Theory of Irony and Its Computational Formalization
This paper presents a unified theory of verbal irony tbr developing a computational model of irony. The theory claims that an ironic utterance implicitly communicates the fact tha...
Akira Utsumi
SIGSOFT
2005
ACM
14 years 5 months ago
Towards a unified formal model for supporting mechanisms of dynamic component update
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan...
TIP
2010
176views more  TIP 2010»
12 years 11 months ago
A PDE Formalization of Retinex Theory
In 1964 Edwin H. Land formulated the Retinex theory, the first attempt to simulate and explain how the human visual system perceives color. His theory and an extension, the "r...
Jean-Michel Morel, Ana Belen Petro, Catalina Sbert
DAC
1998
ACM
14 years 5 months ago
Phase Noise in Oscillators: A Unifying Theory and Numerical Methods for Characterisation
Phase noise is a topic of theoretical and practical interest in electronic circuits, as well as in other fields such as optics. Although progress has been made in understanding th...
Alper Demir, Amit Mehrotra, Jaijeet S. Roychowdhur...
FM
2001
Springer
130views Formal Methods» more  FM 2001»
13 years 9 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh