546 search results - page 18 / 110 » An Action Semantics for MML |
96
Voted
MEMOCODE
2005
IEEE
15 years 7 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...
126
click to vote
KRDB
2003
15 years 3 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...
114
Voted
FLAIRS
1998
15 years 3 months ago
1998
In mostcases natural languageprocessingis seen as an isolated cognitive capability of a system. Languageunderstandingis often restricted to the mappingof natural languageexpressio...
73
Voted
AIIA
2007
Springer
15 years 8 months ago
2007
Springer
A paradigm for music expression understanding based on a joint semantic space, described by both affective and sensorial adjectives, is presented. Machine learning techniques were...
100
click to vote
KI
2007
Springer
15 years 8 months ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...