Sciweavers

2602 search results - page 159 / 521
» Semantic Analysis of 'to'
Sort
View
CJ
2010
150views more  CJ 2010»
15 years 3 months ago
Program Analysis Probably Counts
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
CIKM
2005
Springer
16 years 1 days ago
Using appraisal groups for sentiment analysis
Little work to date in sentiment analysis (classifying texts by ‘positive’ or ‘negative’ orientation) has attempted to use fine-grained semantic distinctions in features ...
Casey Whitelaw, Navendu Garg, Shlomo Argamon
ICIP
1998
IEEE
16 years 8 months ago
Proposal for an Integrated Video Analysis Framework
The analysis of video data targeting the identification of relevant objects and the extraction of associated descriptive characteristics will be the enabling factor for a number o...
Paulo Correia, Fernando Pereira
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 11 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
PRL
2008
131views more  PRL 2008»
15 years 6 months ago
Progressive structural analysis for dynamic recognition of on-line handwritten mathematical expressions
Structural analysis in handwritten mathematical expressions focuses on interpreting the recognized symbols using geometrical information such as relative sizes and positions of th...
Ba-Quy Vuong, Siu Cheung Hui, Yulan He