4418 search results - page 334 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
195
click to vote
IJCAI
2003
15 years 9 months ago
2003
In data-integration systems, information sources often have various constraints such as “all houses stored at a source have a unique address.” These constraints are very usefu...
224
click to vote
AUTOMATICA
2002
15 years 7 months ago
2002
In this paper we present various algorithms both for stability and performance analysis of discrete-time Piece-Wise Affine (PWA) systems. For stability, different classes of Lyapu...
211
click to vote
SDM
2009
SIAM
16 years 4 months ago
2009
SIAM
Query-oriented summarization aims at extracting an informative summary from a document collection for a given query. It is very useful to help users grasp the main information rel...
251
click to vote
IRI
2008
IEEE
16 years 2 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
207
click to vote
VECPAR
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. IBM is currently developing the new line of BlueGene/L supercomputers. The top-of-the-line installation is planned to be a 65,536 processors system featuring a peak perfo...