2661 search results - page 114 / 533 » A Semantics for Abstraction |
170
click to vote
AIIA
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Improving accuracy in Information Retrieval tasks via semantic information is a complex problem characterized by three main aspects: the document representation model, th...
164
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this article we describe a semantic extension of event-driven process chains, with which it is possible to specify the semantics of individual model elements as it is ...
221
click to vote
GRC
2005
IEEE
16 years 16 days ago
2005
IEEE
Abstract. A new methodology that structures the semantics of a collection of documents into the geometry of a simplicial complex is developed. A simplicial complex is topologically...
187
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at evels of abstraction becomes a necessity. Meanwhile, it is also i...
163
click to vote
BIRTHDAY
2007
Springer
16 years 1 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...