6794 search results - page 1196 / 1359 » Semantics of Visual Languages |
106
click to vote
LPNMR
1990
Springer
15 years 6 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
159
Voted
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
162
click to vote
LBM
2007
15 years 4 months ago
2007
Background: Extracting Protein-Protein Interactions (PPI) from research papers is a way of translating information from English to the language used by the databases that store th...
133
click to vote
SCAI
2001
15 years 3 months ago
2001
Muskens presents in Meaning and Partiality a semantics of possibly contradictory beliefs and other propositional attitudes. We propose a different partial logic based on a few key...
124
Voted
IJCAI
2003
15 years 3 months ago
2003
There is controversy as to whether explicit support for PDDL-like axioms and derived predicates is needed for planners to handle real-world domains effectively. Many researchers h...