2776 search results - page 129 / 556 » System-Level Abstraction Semantics |
126
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
126
click to vote
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
129
click to vote
ECOWS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In recent years a huge amount of effort and money has been invested in the area of semantic service discovery and presented approaches have become more sophisticated and...
155
click to vote
IRI
2006
IEEE
15 years 10 months ago
2006
IEEE
We propose a semantic tagger that provides high level concept information for phrases based on several kinds of low level information about words in clinical narrative texts. The ...
158
click to vote
DASFAA
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract. In this paper, we present a FASST mining approach to extract the frequently changing semantic structures (FASSTs), which are a subset of semantic substructures that chang...