886 search results - page 99 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
105
click to vote
KBSE
1995
IEEE
15 years 1 months ago
1995
IEEE
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer suppo...
AAAI
2006
14 years 11 months ago
2006
With increasing deployment of systems involving multiple coordinating agents, there is a growing need for diagnosing coordination failures in such systems. Previous work presented...
RECOMB
2001
Springer
15 years 2 months ago
2001
Springer
High-throughput, data-directed computational protocols for Structural Genomics (or Proteomics) are required in order to evaluate the protein products of genes for structure and fu...
AMET
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Auction-based electronic commerce is an increasingly interesting domain for AI researchers. In this paper we present an attempt towards the construction of trading agents...
105
click to vote
TSP
2012
13 years 5 months ago
2012
—We consider distributed estimation of the inverse covariance matrix in Gaussian graphical models. These models factorize the multivariate distribution and allow for efficient d...