2108 search results - page 147 / 422 » An Operational Semantics for Stateflow |
130
click to vote
AI
2004
Springer
15 years 4 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
262
click to vote
ICDE
2004
IEEE
16 years 6 months ago
2004
IEEE
Real datasets are often large enough to necessitate data compression. Traditional `syntactic' data compression methods treat the table as a large byte string and operate at t...
134
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
We propose a naive version of action semantics that begins with a selection of “transient” and “persistent” facets, each characterized as a partial monoid. Yielders are de...
126
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Policy based networks provide high levels of flexibility by allowing definition of packet handling rules within a network, resource allocation strategies, network man...
148
click to vote
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we present an AUC (i.e., the Area Under the Curve of Receiver Operating Characteristics (ROC)) maximization based learning algorithm to design the classifier for ma...