65 search results - page 10 / 13 » re 1998 |
SRDS
1998
IEEE
13 years 11 months ago
1998
IEEE
In the paper, an e cient image database system is developed. The most important features of the proposed system include compressed domain indexing, searching by using scalable fea...
TPHOL
1998
IEEE
13 years 11 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
B
1998
Springer
13 years 11 months ago
1998
Springer
In B, the expression of dynamic constraints is notoriously missing. In this paper, we make various proposals for introducing them. They all express, in di erent complementary ways,...
PASTE
1998
ACM
13 years 11 months ago
1998
ACM
The task of mappingbetween source programs and machine code, once the code has been optimizedand transformed by a compiler is often di cult. Yet there are many instances, such as ...
DIS
1998
Springer
13 years 11 months ago
1998
Springer
SDS2 is a system to discover and identify the quantitative model consisting of simultaneous equations re
ecting the rst principles underlying the objective process through experi...