2384 search results - page 474 / 477 » Analyzing Requirements Engineering Processes: A Case Study |
154
click to vote
GEOS
2007
Springer
15 years 10 months ago
2007
Springer
Spatio-temporal network is defined by a set of nodes, and a set of edges, where the properties of nodes and edges may vary over time. Such networks are encountered in a variety of...
156
click to vote
TARK
2007
Springer
15 years 10 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
154
click to vote
CSB
2005
IEEE
15 years 10 months ago
2005
IEEE
Our paper describes the first provably-efficient algorithm for determining protein structures de novo, solely from experimental data. We show how the global nature of a certain ...
149
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
Many biological information systems rely on relational database management systems (RDBMS) to manage high-throughput biological data. While keeping these data well archived, organ...
155
click to vote
SBCCI
2003
ACM
15 years 9 months ago
2003
ACM
Unsupervised clustering is a powerful technique for understanding multispectral and hyperspectral images, being k-means one of the most used iterative approaches. It is a simple th...