Sciweavers

260 search results - page 29 / 52
» Methods for exploring expressive stance
Sort
View
ECOOP
2008
Springer
13 years 9 months ago
Ptolemy: A Language with Quantified, Typed Events
Implicit invocation (II) and aspect-oriented (AO) languages provide related but distinct mechanisms for separation of concerns. II languages have explicitly announced events that r...
Hridesh Rajan, Gary T. Leavens
CASCON
2006
98views Education» more  CASCON 2006»
13 years 9 months ago
A lightweight approach to state based security testing
State based protocols are protocols in which the handling of one message depends on the contents of previous messages. Testing such protocols, for security or for other purposes u...
Songtao Zhang, Thomas R. Dean, Scott Knight
EHCI
2001
13 years 9 months ago
Modelling and Using Sensed Context Information in the Design of Interactive Applications
We present a way of analyzing sensed context information formulated to help in the generation, documentation and assessment of the designs of context-aware applications. Starting w...
Philip D. Gray, Daniel Salber
CORR
2006
Springer
151views Education» more  CORR 2006»
13 years 7 months ago
Combining decision procedures for the reals
Abstract. We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consi...
Jeremy Avigad, Harvey Friedman
ACL
2010
13 years 5 months ago
Employing Personal/Impersonal Views in Supervised and Semi-Supervised Sentiment Classification
In this paper, we adopt two views, personal and impersonal views, and systematically employ them in both supervised and semi-supervised sentiment classification. Here, personal vi...
Shoushan Li, Chu-Ren Huang, Guodong Zhou, Sophia Y...