3319 search results - page 239 / 664 » Subshifts, Languages and Logic |
193
click to vote
ICDAR
2005
IEEE
16 years 8 days ago
2005
IEEE
The table recognition literature contains many strategies specified informally as a sequence of operations, obscuring both models of table structure and the effects of individual...
155
click to vote
MSR
2005
ACM
16 years 6 days ago
2005
ACM
Source Control Repositories are used in most software projects to store revisions to source code files. These repositories operate at the file level and support multiple users. ...
172
click to vote
BIRTHDAY
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
171
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
164
click to vote
LPAR
2000
Springer
15 years 10 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...