Sciweavers

8719 search results - page 122 / 1744
» A Categorical Approach to Simulations
Sort
View
68
Voted
CORR
1998
Springer
79views Education» more  CORR 1998»
15 years 1 months ago
Linear Segmentation and Segment Significance
We present a new method for discovering a segmental discourse structure of a document while categorizing each segment's function and importance. Segments are determined by a ...
Min-Yen Kan, Judith L. Klavans, Kathleen McKeown
IANDC
2010
102views more  IANDC 2010»
15 years 4 days ago
Presenting functors on many-sorted varieties and applications
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...
Alexander Kurz, Daniela Petrisan
IIR
2010
15 years 2 days ago
GrOnto: A Granular Ontology for Diversifying Search Results
Results diversification is an approach used in literature to cover the possible interpretations of the results produced by query evaluation. For diversifying search results we pr...
Silvia Calegari, Gabriella Pasi
ECCTD
2011
68views more  ECCTD 2011»
14 years 1 months ago
An ontology for constraints in custom IC design
Abstract—The design of integrated circuits involves the consideration of a large number of constraints of various types. In addition to the definition of these constraints in a ...
Andreas Krinke, Jens Lienig
99
Voted
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
15 years 7 months ago
Combining simulation and formal methods for system-level performance analysis
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
Simon Künzli, Francesco Poletti, Luca Benini,...