4600 search results - page 2 / 920 » How to Make |
CHI
2005
ACM
14 years 7 months ago
2005
ACM
Cryptographically protected email has a justly deserved reputation of being difficult to use. Based on an analysis of the PEM, PGP and S/MIME standards and a survey of 470 merchan...
AROBOTS
2006
13 years 7 months ago
2006
Most current mobile robots are designed to determine their actions according to their positions. Before making a decision, they need to localize themselves. Thus, their observation...
CVPR
2011
IEEE
12 years 11 months ago
2011
IEEE
How many people should you ask if you are not sure about your way? We provide an answer to this question for Random Forest classification. The presented method is based on the st...
CAV
2003
Springer
13 years 11 months ago
2003
Springer
redicate Abstraction Efficient: How to eliminate redundant predicates Edmund Clarke
ACMDIS
1997
ACM
13 years 11 months ago
1997
ACM
The design of tailorable systems is an important issue for fields of application which are characterized by differentiation and dynamics. We show how tailorability can be combined...