1792 search results - page 342 / 359 » Requirements Capture with RCAT |
104
click to vote
AAAI
2006
15 years 3 months ago
2006
Identifying intrinsic structures in large networks is a fundamental problem in many fields, such as engineering, social science and biology. In this paper, we are concerned with c...
119
click to vote
CIC
2004
15 years 3 months ago
2004
Overlay topologies are now popular with many emerging peer-to-peer (P2P) systems, to efficiently locate and retrieve information. In contrast, the focus of this work is to use ove...
140
click to vote
IASTEDSEA
2004
15 years 3 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
121
Voted
CIDR
2003
15 years 3 months ago
2003
It has frequently been observed that most of the world’s data lies outside database systems. The reason is that database systems focus on structured data, leaving the unstructur...
111
click to vote
NIPS
2004
15 years 3 months ago
2004
Alternative splicing (AS) is an important and frequent step in mammalian gene expression that allows a single gene to specify multiple products, and is crucial for the regulation ...