Sciweavers

276 search results - page 8 / 56
» Evaluating formal properties of feature diagram languages
Sort
View
LREC
2010
157views Education» more  LREC 2010»
14 years 11 months ago
Is Sentiment a Property of Synsets? Evaluating Resources for Sentiment Classification using Machine Learning
Existing approaches to classifying documents by sentiment include machine learning with features created from n-grams and part of speech. This paper explores a different approach ...
Aleksander Wawer
ISORC
2000
IEEE
15 years 1 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
80
Voted
ACSD
2005
IEEE
124views Hardware» more  ACSD 2005»
15 years 3 months ago
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
Radu Grosu, Scott A. Smolka
FIW
2003
14 years 10 months ago
Representing New Voice Services and Their Features
New voice services are investigated in the fields of Internet telephony (SIP – Session Initiation Protocol) and interactive voice systems (VoiceXML – Voice Extended Markup La...
Kenneth J. Turner
AIEDU
2005
89views more  AIEDU 2005»
14 years 9 months ago
An Evaluation of a Hybrid Language Understanding Approach for Robust Selection of Tutoring Goals
In this paper, we explore the problem of selecting appropriate interventions for students based on an analysis of their interactions with a tutoring system. In the context of the W...
Carolyn Penstein Rosé, Kurt VanLehn