10907 search results - page 1855 / 2182 » Constraint Based Strategies |
184
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
A directed agent implies an agent with high constraints in both recognition and motion. Because of the embodied restrictions, the directed agent perceives a sense of subjective di...
162
click to vote
BIRTHDAY
2005
Springer
16 years 8 days ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
154
click to vote
CHES
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. It has recently been shown that logic circuits in the implementation of cryptographic algorithms, although protected by “secure” random masking schemes, leak side-cha...
162
click to vote
CIS
2005
Springer
16 years 8 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...
187
click to vote
DSVIS
2005
Springer
16 years 8 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...