442 search results - page 14 / 89 » Dependency Charts as a Means to Model Inter-Scenario Depende... |
HASKELL
2006
ACM
15 years 3 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
91
Voted
ECBS
2011
IEEE
13 years 9 months ago
2011
IEEE
—Model-based development techniques enable a high efficiency and the mastering of complexity. For many domains more than one model has to be used to express the relevant informat...
73
Voted
IV
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper describes research on the use of multiple views for modelling products and processes in the design of complex products. Single visual representations of design models o...
ICCAD
2001
IEEE
15 years 6 months ago
2001
IEEE
The aim of this work is to provide an elegant and accurate static execution timing model for 32-bit microprocessor instruction sets, covering also inter–instruction effects. Suc...
COLING
2010
14 years 4 months ago
2010
In distributional semantics studies, there is a growing attention in compositionally determining the distributional meaning of word sequences. Yet, compositional distributional mo...