Sciweavers

2602 search results - page 161 / 521
» Semantic Analysis of 'to'
Sort
View
LTCONF
2007
Springer
16 years 19 days ago
Automatically Determining Attitude Type and Force for Sentiment Analysis
Recent work in sentiment analysis has begun to apply fine-grained semantic distinctions between expressions of attitude as features for textual analysis. Such methods, however, r...
Shlomo Argamon, Kenneth Bloom, Andrea Esuli, Fabri...
IJSWIS
2006
107views more  IJSWIS 2006»
15 years 6 months ago
Knowledge-Assisted Image Analysis Based on Context and Spatial Optimization
In this article, an approach to semantic image analysis is presented. Under the proposed approach, ontologiesareusedtocapturegeneral,spatial,andcontextualknowledgeofadomain,andage...
Georgios Th. Papadopoulos, Phivos Mylonas, Vasilei...
DSN
2007
IEEE
16 years 25 days ago
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoe...
FMICS
2007
Springer
16 years 20 days ago
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
Maurice H. ter Beek, Alessandro Fantechi, Stefania...
SAS
2007
Springer
128views Formal Methods» more  SAS 2007»
16 years 18 days ago
Magic-Sets Transformation for the Analysis of Java Bytecode
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
Étienne Payet, Fausto Spoto