1446 search results - page 275 / 290 » Formal analysis of hardware requirements |
ICSM
1999
IEEE
14 years 5 days ago
1999
IEEE
Software architecture is important for large systems in which it is the main means for, among other things, controlling complexity. Current ideas on software architectures were no...
VLDB
1998
ACM
14 years 3 days ago
1998
ACM
This paper deals with finding outliers (exceptions) in large, multidimensional datasets. The identification of outliers can lead to the discovery of truly unexpected knowledge in ...
SIGMOD
1997
ACM
14 years 2 days ago
1997
ACM
Materialized views and view maintenance are becoming increasingly important in practice. In order to satisfy different data currency and performance requirements, a number of view...
IUI
1993
ACM
13 years 12 months ago
1993
ACM
We discuss current approaches to the development of natural language dialogue systems, and claim that they do not sufficiently consider the unique qualities of man-machine intera...
ATAL
2007
Springer
13 years 12 months ago
2007
Springer
Merging operators try to define the beliefs of a group of agents according to the beliefs of each member of the group. Several model-based propositional belief merging operators h...