5671 search results - page 685 / 1135 » A Semantic Approach to Interpolation |
185
click to vote
TAMODIA
2007
15 years 8 months ago
2007
Many model-based approaches for user interface design start from a task model, for which the ConcurTaskTrees notation is frequently used. Despite this popularity and the importance...
164
click to vote
AMAI
2006
Springer
15 years 7 months ago
2006
Springer
In nonmonotonic reasoning, a default conditional has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional...
173
click to vote
JAR
2008
15 years 7 months ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
156
click to vote
IVC
2007
15 years 7 months ago
2007
Thousands of images are generated every day, which implies the necessity to classify, organise and access them using an easy, faster and efficient way. Scene classification, the ...
159
click to vote
IJIS
2002
15 years 6 months ago
2002
In search of semantic richer and more flexible database modelling and database querying techniques, different approaches based on fuzzy set theory have been developed. Among the m...