4061 search results - page 612 / 813 » Framework Evolution Tool |
122
click to vote
FSTTCS
2008
Springer
15 years 6 months ago
2008
Springer
A sup-interpretation is a tool which provides upper bounds on the size of the values computed by the function symbols of a program. Sup-interpretations have shown their interest to...
161
click to vote
DIAGRAMS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Diagrams often complement sentential proofs in mathematics. However, diagrams are rarely used as standalone reasoning tools. Thus we propose to integrate diagrammatic rea...
144
Voted
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
Gaussian mixture models (GMMs) are a convenient and essential tool for the estimation of probability density functions. Although GMMs are used in many research domains from image ...
141
Voted
IAT
2008
IEEE
15 years 5 months ago
2008
IEEE
In the context of cognitive agent programming frameworks, a main research effort accounts for exploiting goalorientation for specifying and enacting agent interaction. Existing re...
126
click to vote
CII
2010
15 years 5 months ago
2010
: The Unified Enterprise Modelling Language (UEML) aims to support integrated use of enterprise and IS models expressed in a variety of languages. The achieve this aim, UEML provid...