4418 search results - page 274 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
177
click to vote
ICDE
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract— Logical reorganization of data and requirements of differentiated QoS in information systems necessitate bulk data migration by the underlying storage layer. Such data ...
185
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
194
click to vote
IJCINI
2007
15 years 6 months ago
2007
: The theme of this issue of IJCINI is on cognitive mechanisms of autonomic computing and laws of human cooperative work organization. This editorial addresses key notions of this ...
193
click to vote
SEMCO
2008
IEEE
16 years 1 months ago
2008
IEEE
Recognizing that information from different sources refers to the same (real world) entity is a crucial challenge in instance-level information integration, as it is a pre-requisi...
175
click to vote
ANLP
2000
15 years 8 months ago
2000
This paper explores the problem of identifying sentence boundaries in the transcriptions produced by automatic speech recognition systems. An experiment which determines the level...