913 search results - page 137 / 183 » Toward Formalizing Structured Analysis |
ICPR
2008
IEEE
14 years 9 months ago
2008
IEEE
Extensive research has been done to show that heartbeats are composed of the interaction of many physiological components operating on different time scales, with nonlinear and se...
ACL
2009
13 years 5 months ago
2009
This paper introduces a new algorithm to parse discourse within the framework of Rhetorical Structure Theory (RST). Our method is based on recent advances in the field of statisti...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-bas...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
In this paper we examine 1) the scope of geo-ontologies used especially for the purposes of information retrieval on the Web, 2) the core geographical concepts and their mutual re...
RECOMB
2005
Springer
14 years 8 months ago
2005
Springer
Abstract. There is widespread interest in comparative genomics in determining if historically and/or functionally related genes are spatially clustered in the genome, and whether t...