2488 search results - page 346 / 498 » An improvement in formal verification |
DSVIS
2005
Springer
15 years 7 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...
118
click to vote
FORMATS
2005
Springer
15 years 7 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...
115
click to vote
IFL
2005
Springer
15 years 7 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...
88
Voted
WIA
2005
Springer
15 years 7 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...
113
click to vote
CIKM
2005
Springer
15 years 7 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 ...