630 search results - page 31 / 126 » Symbolic Domain Decomposition |
VLC
2008
13 years 8 months ago
2008
Recognizing hand-sketched symbols is a definitely complex problem. The input drawings are often intrinsically ambiguous, and require context to be interpreted in a correct way. Ma...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
At present time the Internet has become a major source of information and a powerful didactic tool. Furthermore, the development of digital equipment, allows to acquire and store ...
AIPS
2008
13 years 10 months ago
2008
The heuristics used for planning and search often take the pattern databases generated from abstracted versions of the given state space. Pattern databases are typically stored p ...
CASC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We describe a symbolic framework for treating linear boundary problems with a generic implementation in the Theorema system. For ordinary differential equations, the ope...
FORTE
2004
13 years 10 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...