9071 search results - page 1522 / 1815 » A co-design modeling approach for computer network systems |
196
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
Synchronous Data Flow (SDF) is a well-known model of computation that is widely used in the control engineering and digital signal processing domains. Existing scheduling methods ...
201
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
151
Voted
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we propose an ontology-based approach that enables to detect the emergence of relational conflicts between persons that cooperate on computer supported projects. In...
188
click to vote
EMNLP
2004
15 years 8 months ago
2004
Multidocument extractive summarization relies on the concept of sentence centrality to identify the most important sentences in a document. Centrality is typically defined in term...
190
click to vote
MIA
2010
15 years 1 months ago
2010
The automatic segmentation of the musculoskeletal system from medical images is a particularly challenging task, due to its morphological complexity, its large variability in the ...