3922 search results - page 618 / 785 » Working Models for Uncertain Data |
179
click to vote
UML
1999
Springer
15 years 10 months ago
1999
Springer
UML has established itself as the leading OO analysis and design methodology. Recently, it has also been increasingly used as a foundation for representing numerous (diagrammatic) ...
159
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
163
click to vote
EP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Multimedia style sheet systems uniformly use a constraintbased model of layout. Constraints provide a uniform mechanism for all aspects of style management and layout and...
175
click to vote
CVPR
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose a learning-based hierarchical approach of multi-target tracking from a single camera by progressively associating detection responses into longer and longer track fragm...
167
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper addresses the problem of predicting timing properties of multi-tasking component assemblies during the design phase. For real-time applications, it is of vital importan...