18209 search results - page 3348 / 3642 » Some Remarks on the Paper |
200
click to vote
ISSTA
2004
ACM
16 years 6 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
178
click to vote
IUI
2004
ACM
16 years 6 days ago
2004
ACM
As computer applications become larger with every new version, there is a growing need to provide some way for users to manage the interface complexity. There are three different ...
173
click to vote
JCDL
2004
ACM
16 years 6 days ago
2004
ACM
Today people typically read and annotate printed documents even if they are obtained from electronic sources like digital libraries. If there is a reason for them to share these p...
202
click to vote
MUM
2004
ACM
16 years 6 days ago
2004
ACM
Within the expanding paradigm of medical imaging and wireless communications there is increasing demand for transmitting diagnostic medical imagery over error-prone wireless commu...
200
click to vote
NPAR
2004
ACM
16 years 6 days ago
2004
ACM
ssionism”, (bottom row) “Abstract”, “Pointillism”, “Flower” and “Abstract” styles. Figure 3 shows some of the brush strokes used. We present techniques for trans...