Sciweavers

16606 search results - page 455 / 3322
» Context Modeling: Task Model and Practice Model
Sort
View
ACL
2012
13 years 9 months ago
A Context-sensitive, Multi-faceted Model of Lexico-Conceptual Affect
Since we can ‘spin’ words and concepts to suit our affective needs, context is a major determinant of the perceived affect of a word or concept. We view this re-profiling as a...
Tony Veale
DATE
2010
IEEE
176views Hardware» more  DATE 2010»
15 years 12 months ago
Timing modeling and analysis for AUTOSAR-based software development - a case study
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...
Kay Klobedanz, Christoph Kuznik, Andreas Thuy, Wol...
AI
2007
Springer
15 years 10 months ago
A Profit-Based Business Model for Evaluating Rule Interestingness
Different types of rules are mined from transaction databases often with the goal of improving sales and services. In this paper, we link the interestingness of rules with the cont...
Yaohua Chen, Yan Zhao, Yiyu Yao
LPAR
2010
Springer
15 years 5 months ago
Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
Jasmin Christian Blanchette, Koen Claessen
LATA
2010
Springer
16 years 1 months ago
Three Learnable Models for the Description of Language
Abstract. Learnability is a vital property of formal grammars: representation classes should be defined in such a way that they are learnable. One way to build learnable represent...
Alexander Clark