4752 search results - page 885 / 951 » From computation models to models of provenance: the RWS app... |
IRREGULAR
1997
Springer
14 years 1 months ago
1997
Springer
ing with shared data abstractions Simon Dobson1 and Don Goodeve2 1 Well-Founded Systems Unit, CLRC Rutherford Appleton Laboratory, UK 2 School of Computer Studies, University of Le...
SIGMOD
1996
ACM
14 years 1 months ago
1996
ACM
Decision support applications involve complex queries on very large databases. Since response times should be small, query optimization is critical. Users typically view the data ...
FODO
1993
Springer
14 years 28 days ago
1993
Springer
Abstract–Multimedia computing requires support for heterogeneous data types with differing storage, communication and delivery requirements. Continuous media data types such as ...
FMCAD
2006
Springer
14 years 15 days ago
2006
Springer
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
CBMS
2001
IEEE
14 years 15 days ago
2001
IEEE
An approach of abnormality detection from color jiindirs images for automated mass screening system is proposed in this paper, which uses the object-based color difference image. ...