5030 search results - page 152 / 1006 » cases 2007 |
165
Voted
FORMATS
2007
Springer
16 years 1 months ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
152
click to vote
ENTCS
2007
15 years 7 months ago
2007
This paper relates on a first attempt to see if aspect-oriented programming (AOP) and logic meta-programming (LMP) can help with the revitalisation of legacy business software. B...
165
click to vote
WINE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this work, we consider singleton congestion games as a special class of (weighted) congestion games where each players' strategy consists only of a single resourc...
153
Voted
CSDA
2007
15 years 7 months ago
2007
Copulas enable to specify multivariate distributions with given marginals.Various parametric proposals were made in the literature for these quantities, mainly in the bivariate ca...
176
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
Where am I and what am I seeing? This is a classical vision problem and this paper presents a solution based on efficient use of a combination of 2D and 3D features. Given a model...