8828 search results - page 1616 / 1766 » Formal methods in practice |
115
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Progress in insider-threat detection is currently limited by a lack of realistic, publicly available, real-world data. For reasons of privacy and confidentiality, no one wants to...
126
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
: This paper provides a methodology to characterize the accuracy of PMU data (GPS-synchronized) and the applicability of this data for monitoring system stability via visualization...
135
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—The implementation of distributed network utility maximization (NUM) algorithms hinges heavily on information feedback through message passing among network elements. In practic...
137
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, we describe a new approach for the extrinsic calibration of a camera with a 3D laser range finder, that can be done on the fly. This approach does not require an...
145
Voted
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
Bag-of-features (BoF) deriving from local keypoints has recently appeared promising for object and scene classification. Whether BoF can naturally survive the challenges such as ...