1907 search results - page 39 / 382 » Visualizing Action Semantics |
198
click to vote
LOGCOM
2007
15 years 5 months ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...
132
click to vote
MEMOCODE
2005
IEEE
15 years 11 months ago
2005
IEEE
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...
168
click to vote
KRDB
2003
15 years 7 months ago
2003
Flat transactions with savepoints are a variation of the classical flat transactions that allows the user to go undo work done so far back to a certain point within the transacti...
160
click to vote
FLAIRS
1998
15 years 7 months ago
1998
In mostcases natural languageprocessingis seen as an isolated cognitive capability of a system. Languageunderstandingis often restricted to the mappingof natural languageexpressio...
171
click to vote
EDM
2010
15 years 7 months ago
2010
This poster describes a visualization tool for educators that allows the exploration of educational data. We display an entire classes sequence of actions to the user using a tree-...