5630 search results - page 883 / 1126 » Computability in Specification |
144
click to vote
JSS
2002
15 years 6 months ago
2002
A set of fundamental principles can act as an enabler in the establishment of a discipline; however, software engineering still lacks a set of universally recognized fundamental p...
152
click to vote
LRE
2002
15 years 6 months ago
2002
Users need more sophisticated tools to handle the growing number of image-based documents available in databases. In this paper, we present a system devoted to the editing and bro...
199
click to vote
TAPOS
1998
15 years 6 months ago
1998
Building and maintaining the class hierarchy has been recognized as an important but one of the most difficult activities of object-oriented design. Concept (or Galois) lattices a...
202
click to vote
SIAMCOMP
2002
15 years 6 months ago
2002
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...
184
click to vote
TASLP
2002
15 years 6 months ago
2002
This paper presents a framework for maximum a posteriori (MAP) speaker adaptation of state duration distributions in hidden Markov models (HMM). Four key issues of MAP estimation, ...