2455 search results - page 273 / 491 » Graphical abstract help |
114
click to vote
RSP
1999
IEEE
15 years 9 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
116
Voted
CP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. This paper takes a fresh look at the application of interval analysis to ordinary differential equations and studies how consistency techniques can help address the accur...
143
click to vote
ERCIMDL
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. An expert system Web interface to online catalogs called EReferencer is being developed. An initial prototype has been implemented. The interface has a repertoire of init...
143
click to vote
ILP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Inductive Logic Programming (ILP) has been applied to discover rules governing the three-dimensional topology of protein structure. The data-set unifies two sources of in...
137
click to vote
DOOD
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. This work discusses the CROQUE approach to the maintenance problem for materialized views. In a CROQUE database, application-speci ed collections (type extents or classes...