5109 search results - page 665 / 1022 » On Learning Limiting Programs |
183
click to vote
ASIASIM
2004
Springer
15 years 11 months ago
2004
Springer
A network security simulator becomes more useful for the study on the cyber incidents and their defense mechanisms, as cyber terrors have been increasingly popular. Until now, netw...
160
click to vote
CP
2004
Springer
15 years 11 months ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
161
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
Several optimization techniques are hindered by uncertainties about the control flow in a program, which can generally not be determined by static methods at compile time. We pres...
169
click to vote
GI
2004
Springer
15 years 11 months ago
2004
Springer
: Knowledge management typically focuses on communicating and spreading information and knowledge within a company. It is usually limited to technology or business information in s...
146
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...