11716 search results - page 51 / 2344 » Computable symbolic dynamics |
MAICS
2003
15 years 1 months ago
2003
Introspection is a fundamental component of how we as humans reason, learn, and adapt. However, many existing computer reasoning systems exclude the possibility of introspection b...
ICDAR
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper we present a method to locate and recognize graphical symbols appearing in real images. A vectorial signature is defined to describe graphical symbols. It is formul...
111
click to vote
AISC
2010
Springer
15 years 4 months ago
2010
Springer
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different bounda...
105
click to vote
DAC
2004
ACM
15 years 5 months ago
2004
ACM
—This paper proposes a novel approach to the exact symbolic analysis of very large analog circuits. The new method is based on determinant decision diagrams (DDDs) representing s...
116
click to vote
WAIM
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents an architecture and a methodology for agent-based Web service discovery and automated composition. We assume that Web services are described with declarative sp...