We study visibly pushdown automata (VPA) models for expressing and evaluating queries, expressed using MSO formulas, on words with a nesting structure (like XML documents). We deļ...
With resemblance of ļ¬nite-state machines to some biological mechanisms in cells and numerous applications of ļ¬nite automata in diļ¬erent ļ¬elds, this paper uses analogies an...
ā In this paper we present an analysis of 3D line projections for central catadioptric cameras from a projective perspective. Most algorithms consider the projection of lines as ...
In this paper, we present novel algorithms that effectively combine physical layout and early logic synthesis to improve overall design quality. In addition, we employ partitionin...
In this paper, the problem of bus-driven ļ¬oorplanning is addressed. Given a set of blocks and the bus speciļ¬cation (the width of each bus and the blocks that the bus need to g...