36320 search results - page 639 / 7264 » From Code to Models |
207
click to vote
DM
2007
15 years 7 months ago
2007
In this paper we deal with codes identifying sets of vertices in random networks; that is, (1, ≤ ℓ)-identifying codes. These codes enable us to detect sets of faulty processor...
139
click to vote
MTA
2010
15 years 5 months ago
2010
This paper presents a BitpLAne SelecTive (BLAST) distributed video coding (DVC) system. In the proposed system, the significance of each bitplane is measured at the decoder based o...
272
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
188
click to vote
IPM
2011
14 years 10 months ago
2011
In recent years, new semistatic word-based byte-oriented text compressors, such as Tagged Huffman and those based on Dense Codes, have shown that it is possible to perform fast d...
153
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Self-explaining is a beneficial learning strategy for studying worked-out examples because it either supplies missing information through the generation of inferences or because it...