2661 search results - page 114 / 533 » A Semantics for Abstraction |
163
click to vote
AIIA
2005
Springer
16 years 1 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...
154
click to vote
ESWS
2007
Springer
16 years 20 days 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 ...
206
click to vote
GRC
2005
IEEE
16 years 3 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...
176
click to vote
DATE
2006
IEEE
16 years 17 days 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...
151
click to vote
BIRTHDAY
2007
Springer
16 years 20 days 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...