1712 search results - page 32 / 343 » Abstract Constraint Data Types |
TIT
1998
14 years 10 months ago
1998
Abstract—Runlength-limited (RLL) codes are used in magnetic recording. The error patterns that occur with peak detection magnetic recording systems when using a runlength-limited...
ICDM
2009
IEEE
14 years 8 months ago
2009
IEEE
Efficient acquisition of constraint networks is a key factor for the applicability of constraint problem solving methods. Current techniques ease knowledge acquisition by generati...
SDM
2008
SIAM
15 years 11 days ago
2008
SIAM
Sample selection bias is a common problem in many real world applications, where training data are obtained under realistic constraints that make them follow a different distribut...
SIGADA
2005
Springer
15 years 4 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
110
Voted
TYPES
1993
Springer
15 years 3 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...