8959 search results - page 256 / 1792 » Composing aspects with aspects |
158
Voted
JSYML
2010
15 years 1 months ago
2010
We develop several aspects of local and global stability in continuous first order logic. In particular, we study type-definable groups and genericity.
195
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Ranking queries report the top-K results according to a user-defined scoring function. A widely used scoring function is the weighted summation of multiple scores. Often times, u...
155
click to vote
SIGMOD
2001
ACM
16 years 6 months ago
2001
ACM
There is currently considerable interest in developing multimedia digital libraries. However, it has become clear that existing architectures for management systems do not support...
208
click to vote
AB
2008
Springer
16 years 1 months ago
2008
Springer
Boolean networks (BNs) are known as a mathematical model of genetic networks. In this paper, we overview algorithmic aspects of inference, analysis and control of BNs while focusin...
172
click to vote
ACSD
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...