5267 search results - page 956 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
121
click to vote
SMR
1998
15 years 2 months ago
1998
So-called little, or domain-specific languages (DSLs), have the potential to make software maintenance simpler: domain-experts can directly use the DSL to make required routine m...
155
click to vote
FMSD
2007
15 years 2 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
149
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
137
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Cellular metabolism is one of the most investigated system of biological interactions. While the topological nature of individual reactions and pathways in the network...
127
click to vote
CVPR
1999
IEEE
16 years 4 months ago
1999
IEEE
A common method for real-time segmentation of moving regions in image sequences involves "background subtraction," or thresholding the error between an estimate of the i...