4263 search results - page 295 / 853 » Learning without Coding |
184
click to vote
PRDC
2005
IEEE
16 years 2 days ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
159
click to vote
FM
2005
Springer
16 years 13 hour ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
142
click to vote
IFM
2005
Springer
15 years 12 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
163
click to vote
DAGM
2004
Springer
15 years 12 months ago
2004
Springer
Compressed domain image retrieval allows image indexing to be performed directly on the compressed data without the need of decoding. This approach hence provides a significant ga...
176
click to vote
PCM
2004
Springer
15 years 12 months ago
2004
Springer
The paper presents a novel video watermarking scheme called Mapping Energy video Watermarking (MEW) for copyright protection. The watermark is embedded in the compressed domain and...