Sciweavers

4770 search results - page 197 / 954
» Flexible Type Analysis
Sort
View
202
Voted
ACL
2009
15 years 5 months ago
Word to Sentence Level Emotion Tagging for Bengali Blogs
In this paper, emotion analysis on blog texts has been carried out for a less privileged language like Bengali. Ekman's six basic emotion types have been selected for reliabl...
Dipankar Das, Sivaji Bandyopadhyay
DSOM
2003
Springer
16 years 10 days ago
Towards Peer-to-Peer Traffic Analysis Using Flows
One of the main problems with today's Internet traffic analysis is caused by the large number of network-based applications whose types and traffic patterns are more complicat...
Myung-Sup Kim, Hun-Jeong Kang, James Won-Ki Hong
177
Voted
PPDP
2005
Springer
16 years 18 days ago
Trace effects and object orientation
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
Christian Skalka
ICTAC
2009
Springer
16 years 1 months ago
A Deadlock-Free Semantics for Shared Memory Concurrency
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
Gérard Boudol
COLING
1996
15 years 8 months ago
Mental State Adjectives: the Perspective of Generative Lexicon
This paper focusses on mental state adjectives and offers a unified analysis in the theory of Generative Lexicon (Pustejovsky, 1991, 1995). We show that, instead of enumerating th...
Pierrette Bouillon