1690 search results - page 295 / 338 » Algorithmic Properties of Millstream Systems |
121
click to vote
CVPR
2011
IEEE
14 years 9 months ago
2011
IEEE
Over the last decades fiducial markers have provided widely adopted tools to add reliable model-based features into an otherwise general scene. Given their central role in many c...
97
Voted
GD
1998
Springer
15 years 5 months ago
1998
Springer
We consider the problem of visualizing interconnections in railway systems. Given time tables from systems with thousands of trains, we are to visualize basic properties of the co...
APN
1993
Springer
15 years 4 months ago
1993
Springer
This paper introduces an efficient numerical algorithm for transient analysis of deterministic and stochastic Petri nets (DSPNs) and other discrete-event stochastic systems with ...
130
Voted
FDL
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
123
click to vote
ACM
1995
15 years 4 months ago
1995
We study properties of rough sets, that is, approximations to sets of records in a database or, more formally, to subsets of the universe of an information system. A rough set is a...