1823 search results - page 110 / 365 » Generating Multiple New Designs From a Sketch |
SARA
2007
Springer
14 years 2 months ago
2007
Springer
Though there exist some rules of thumb for design of good models for solving constraint satisfaction problems, the modeling process still belongs more to art than to science. Moreo...
ICCD
2004
IEEE
14 years 5 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...
ICCSA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The design and management of firewall ACLs is a very hard and error-prone task. Part of this complexity comes from the fact that each firewall platform has its own low-le...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
This proposal describes the early phase of our design process developing a robot cell-phone named CALLY, with which we are exploring the roles of facial and gestural expressions o...
ICCS
2007
Springer
14 years 2 days ago
2007
Springer
Abstract. SymGrid-Par is a new framework for executing large computer algebra problems on computational Grids. We present the design of SymGrid-Par, which supports multiple compute...