1355 search results - page 243 / 271 » Techniques for Formal Verification of Digital Systems: A Sys... |
ICIP
2003
IEEE
14 years 10 months ago
2003
IEEE
Digital visual libraries have currently available huge amounts of content in unstructured, nonindexed form. Since these collections keep growing fast, retrieving specific images i...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
A problem with many of today's appliance interfaces is that they are inconsistent. For example, the procedure for setting the time on alarm clocks and VCRs differs, even amon...
ICCD
2005
IEEE
14 years 6 months ago
2005
IEEE
The advent of nanometer feature sizes in silicon fabrication has triggered a number of new design challenges for computer designers. These challenges include design complexity and...
BMVC
2002
13 years 11 months ago
2002
This paper describes a novel system for building seamless texture maps for a surface of arbitrary topology from real images of the object taken with a standard digital camera and ...
ACMACE
2008
ACM
13 years 11 months ago
2008
ACM
The shadow agent is a new type of intelligent virtual agent exploiting the metaphor of the shadow as a medium. The core of the shadow agent is a behavioral architecture inspired b...