2488 search results - page 346 / 498 » An improvement in formal verification |
139
click to vote
DSVIS
2005
Springer
15 years 12 months ago
2005
Springer
We introduce a formal model of inconsistency-related mode confusion. This forms the basis of a heuristic methodology for critiquing user interfaces, using a matrix algebra approach...
166
click to vote
FORMATS
2005
Springer
15 years 12 months ago
2005
Springer
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
165
click to vote
IFL
2005
Springer
15 years 12 months ago
2005
Springer
With-loops are versatile array comprehensions used in the functional array language SaC to implement universally applicable array operations. We describe the fusion of with-loops a...
150
click to vote
WIA
2005
Springer
15 years 12 months ago
2005
Springer
The paper introduces a robust spelling correction technique to deal with ill-formed input strings, including unknown parts of unknown length. In contrast to previous works, we deri...
165
click to vote
CIKM
2005
Springer
15 years 12 months ago
2005
Springer
The paper presents a contribution to image indexing consisting in a weighting model for visible objects – or image objects – in home photographs. To improve its effectiveness ...