1952 search results - page 369 / 391 » Designing for appropriation |
WCRE
1993
IEEE
14 years 1 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
ACCV
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We design an effective shape prior embedded human silhouettes extraction algorithm. Human silhouette extraction is found challenging because of articulated structures, po...
CIE
2007
Springer
14 years 1 months ago
2007
Springer
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions are essentially based on Kleene's second recurs...
EUROCAST
2007
Springer
14 years 1 months ago
2007
Springer
RND (Radio Network Design) is an important problem in mobile telecommunications (for example in mobile/cellular telephony), being also relevant in the rising area of sensor network...
HRI
2007
ACM
14 years 1 months ago
2007
ACM
Operator performance during Space Shuttle and International Space Station robotic arm training can differ dramatically among astronauts. The difficulty making appropriate camera s...