2748 search results - page 410 / 550 » Generating Object-Z Specifications from Use Cases |
125
Voted
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a new approach to restoring scanned color document images where the backside image shows through the paper sheet. A new framework is presented for correcting ...
135
click to vote
SMA
2003
ACM
15 years 9 months ago
2003
ACM
The presented approach to discretization of functionally defined heterogeneous objects is oriented towards applications associated with numerical simulation procedures, for exampl...
128
Voted
JCDL
2009
ACM
15 years 8 months ago
2009
ACM
Video is increasingly important to digital libraries and archives as both primary content and as context for the primary objects in collections. Services like YouTube not only off...
147
Voted
ISSS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
121
Voted
COMPSAC
1998
IEEE
15 years 8 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...