952 search results - page 81 / 191 » Computational complexity of stochastic programming problems |
104
Voted
ICTAC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
114
Voted
VLSID
2002
IEEE
16 years 29 days ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
134
click to vote
AAAI
2010
15 years 2 months ago
2010
Dimensionality reduction is the process by which a set of data points in a higher dimensional space are mapped to a lower dimension while maintaining certain properties of these p...
111
click to vote
BMCBI
2010
15 years 22 days ago
2010
Background: High-throughput methods for detecting protein-protein interactions enable us to obtain large interaction networks, and also allow us to computationally identify the as...
114
Voted
GCC
2006
Springer
15 years 4 months ago
2006
Springer
Legacy program execution system, which is necessary for Grid to enable users to reuse all legacy programs without reengineering source codes, is still an open problem. We propose ...