2144 search results - page 316 / 429 » Exact Flow Analysis |
147
Voted
HYBRID
2010
Springer
15 years 10 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
242
click to vote
ICDE
2006
IEEE
16 years 6 months ago
2006
IEEE
Peer-to-peer databases are becoming prevalent on the Internet for distribution and sharing of documents, applications, and other digital media. The problem of answering large scal...
156
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
The problem of determining the appropriate number of components is important in finite mixture modeling for pattern classification. This paper considers the application of an unsu...
151
click to vote
GCB
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: The analysis of RNA folding landscapes yields insights into the kinetic folding behavior not available from classical structure prediction methods. This is especially imp...
170
click to vote
CEC
2008
IEEE
15 years 11 months ago
2008
IEEE
—Much of the computational complexity in employing evolutionary algorithms as optimization tool is due to the fitness function evaluation that may either not exist or be computat...