Sciweavers

6016 search results - page 804 / 1204
» The semantics of graphical languages
Sort
View
EMSOFT
2007
Springer
16 years 1 months ago
E-FRP with priorities
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...
Roumen Kaiabachev, Walid Taha, Angela Yun Zhu
LTCONF
2007
Springer
16 years 1 months 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...
OTM
2007
Springer
16 years 1 months ago
SPARQL++ for Mapping Between RDF Vocabularies
Lightweight ontologies in the form of RDF vocabularies such as SIOC, FOAF, vCard, etc. are increasingly being used and exported by “serious” applications recently. Such vocabul...
Axel Polleres, François Scharffe, Roman Sch...
PPDP
2007
Springer
16 years 1 months ago
Interactive, scalable, declarative program analysis: from prototype to implementation
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
William C. Benton, Charles N. Fischer
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
16 years 1 months ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu