6018 search results - page 280 / 1204 » Factored Translation Models |
176
click to vote
CSB
2005
IEEE
16 years 9 days ago
2005
IEEE
Symbolic rewriting systems are gaining interest as tools for simulating biochemical dynamics. Compared to traditional methods based on differential equations, the symbolic approac...
157
click to vote
ECRTS
2005
IEEE
16 years 9 days ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
203
click to vote
RTSS
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
186
click to vote
CIVR
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Geospatial information analysts are interested in spatial configurations of objects in satellite imagery and, more importantly, the ability to search a large-scale datab...
189
click to vote
ACSD
2003
IEEE
15 years 12 months ago
2003
IEEE
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...