1162 search results - page 83 / 233 » Monotonic Semantic Interpretation |
113
click to vote
IPC
2007
IEEE
15 years 5 months ago
2007
IEEE
The nature of the concepts regarding images in many domains are imprecise, and the interpretation of finding similar images is also ambiguous and subjective on the level of human ...
81
Voted
FASE
2004
Springer
15 years 2 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
FLAIRS
2008
15 years 3 days ago
2008
We describe a framework for building intelligent tutoring systems that offer an advanced evaluation of learners' semantic knowledge. The knowledge model makes a pedagogical d...
120
click to vote
ICDT
2009
ACM
15 years 5 months ago
2009
ACM
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
FOSSACS
2005
Springer
15 years 4 months ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...