1508 search results - page 87 / 302 » A Combination Method for Generating Interpolants |
129
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Can we leverage the community-contributed collections of rich media on the web to automatically generate representative and diverse views of the world's landmarks? We use a c...
200
click to vote
AROBOTS
2002
15 years 5 months ago
2002
In robotics, the idea of human and robot interaction is receiving a lot of attention lately. In this paper, we describe a multi-modal system for generating a map of the environment...
143
click to vote
DDECS
2007
IEEE
15 years 12 months ago
2007
IEEE
- As shown by previous studies, shorts between the interconnect wires should be considered as the predominant cause of failures in CMOS circuits. Fault models and tools for targeti...
156
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
155
click to vote
IPMI
1999
Springer
15 years 9 months ago
1999
Springer
Three dimensional models of anatomical structures are currently used to aid in medical diagnosis, treatment, surgical guidance, and surgical simulation. Limitations on the resolut...