7335 search results - page 1197 / 1467 » Scene Based Reasoning |
165
click to vote
ICDT
2007
ACM
16 years 22 days ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
180
click to vote
ICLP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
218
click to vote
ILP
2007
Springer
16 years 22 days ago
2007
Springer
Structural Statistical Software Testing (SSST) exploits the control flow graph of the program being tested to construct test cases. Specifically, SSST exploits the feasible paths...
147
click to vote
ISNN
2007
Springer
16 years 22 days ago
2007
Springer
Modeling for the ball mill grinding process is still an imperative but difficult problem for the optimal control of mineral processing industry. Due to the integrated complexities ...
182
click to vote
KES
2007
Springer
16 years 21 days ago
2007
Springer
According to widely accepted guidelines for self-regulation, the capital requirements of a bank should relate to the level of risk with respect to three different categories. Amon...