415 search results - page 43 / 83 » Regular Processes and Timed Automata |
112
click to vote
FPL
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents the design and implementation of BORPH's kernel file system layer that provides FPGA processes direct access to the general file system. Using a semantics...
120
click to vote
ICML
2010
IEEE
15 years 14 days ago
2010
IEEE
Classical dynamic Bayesian networks (DBNs) are based on the homogeneous Markov assumption and cannot deal with heterogeneity and non-stationarity in temporal processes. Various ap...
115
Voted
FDL
2005
IEEE
15 years 7 months ago
2005
IEEE
In the field of real-time control applications, validation relies on a precise knowledge of the temporal characteristics of the used data such as delays and loss rates. These data...
115
click to vote
GREC
2003
Springer
15 years 7 months ago
2003
Springer
We aim to reconstruct three-dimensional polyhedral solids from axonometric-like line drawings. A new approach is proposed to make use of planes of mirror symmetry detected in such ...
154
click to vote
ER
2007
Springer
15 years 8 months ago
2007
Springer
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...