596 search results - page 79 / 120 » Providing Automatic Support for Heuristic Rules of Methods |
CISS
2010
IEEE
14 years 1 months ago
2010
IEEE
— Laser scanners are rapidly gaining acceptance as a tool for three dimensional (3D) modeling and analysis in the architecture, engineering, and construction (AEC) domain. Since ...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents a method for automatically estimating human interruptibility in home environments. To make online remote communication smoother, determining if it is appropria...
3DIM
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, we present an "appearance-based" virtual view generation method for temporally-varying events taken by multiple cameras of the "3D Room", develo...
IDTRUST
2009
ACM
15 years 4 months ago
2009
ACM
Security in browsers is based upon users trusting a set of root Certificate Authorities (called Trust Anchors) which they may know little or nothing about. Browser vendors face a...
104
click to vote
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...