419 search results - page 41 / 84 » Automatic Synthesis of Real Time Systems |
164
Voted
HASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
222
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
We introduce Pulse, a framework for processing continuous queries over models of continuous-time data, which can compactly and accurately represent many real-world activities and p...
152
click to vote
CMG
2001
15 years 5 months ago
2001
Rapid advances in research and technology now allow data analysis and modeling of extremely complex systems. Methods from artificial intelligence (AI) such as Neural Networks have...
141
click to vote
RTS
2010
15 years 2 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
150
Voted
FGR
2004
IEEE
15 years 7 months ago
2004
IEEE
We describe how to create with machine learning techniques a generative, videorealistic, speech animation module. A human subject is first recorded using a videocamera as he/she u...