6456 search results - page 892 / 1292 » Constraint Solving on Terms |
167
click to vote
CIS
2005
Springer
16 years 11 days ago
2005
Springer
⎯A new nonslicing floorplan representation, the moving block sequence (MBS), is proposed in this paper. Our idea of the MBS originates from the observation that placing blocks on...
207
click to vote
CSL
2005
Springer
16 years 10 days ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
189
click to vote
DSVIS
2005
Springer
16 years 10 days ago
2005
Springer
Multimodal interactive systems offer a flexibility of interaction that increases their complexity. ICARE is a component-based approach to specify and develop multimodal interfaces...
151
click to vote
ECAL
2005
Springer
16 years 10 days ago
2005
Springer
Niche construction is the process whereby organisms, through their metabolism, activities, and choices, modify their own and/or each other’s niches. Our purpose is to clarify the...
185
click to vote
FPGA
2005
ACM
16 years 10 days ago
2005
ACM
Logic duplication is an effective method for improving circuit performance. In this paper we present an algorithm named SPD that performs simultaneous placement and duplication to...