6719 search results - page 1059 / 1344 » A Generalization of Automatic Sequences |
235
click to vote
AGP
2003
IEEE
16 years 21 days ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
241
click to vote
CODES
2003
IEEE
16 years 21 days ago
2003
IEEE
We present an approach to the automatic derivation of executable Process Network specifications from Weakly Dynamic Applications. We introduce the notions of Dynamic Single Assig...
185
click to vote
DATE
2003
IEEE
16 years 21 days ago
2003
IEEE
In this paper, a simulation-based synthesis tool, AMIGO, for analog cell sizing is presented. AMIGO is based upon genetic optimization techniques adapted to circuit sizing. A fram...
183
click to vote
ICDAR
2003
IEEE
16 years 20 days ago
2003
IEEE
Structure analysis of table form document is important because printed documents and also electronical documents only provide geometrical layout and lexical information explicitly...
153
click to vote
ICRA
2003
IEEE
16 years 20 days ago
2003
IEEE
Abstract— In this paper we describe the use of automatic exploration for autonomous mapping of outdoor scenes. We describe a real-time SLAM implementation along with an autonomou...