3082 search results - page 544 / 617 » Deviation Analysis: A New Use of Model Checking |
110
click to vote
CCS
2008
ACM
15 years 1 months ago
2008
ACM
A frequently proposed solution to node misbehavior in mobile ad hoc networks is to use reputation systems. But in ephemeral networks - a new breed of mobile networks where contact...
EGITALY
2006
15 years 1 months ago
2006
The 3D model reconstruction of buildings from uncalibrated photographs allows new useful Computer Graphics and Computer Vision applications. In this paper we survey some solutions...
ISSA
2004
15 years 1 months ago
2004
Computer security, and intrusion detection in particular, has become increasingly important in today's business environment, to help ensure safe and trusted commerce between ...
106
click to vote
NIPS
2003
15 years 1 months ago
2003
Eigenvoice speaker adaptation has been shown to be effective when only a small amount of adaptation data is available. At the heart of the method is principal component analysis (...
113
click to vote
TOG
2012
13 years 2 months ago
2012
This paper investigates “Schelling points” on 3D meshes, feature points selected by people in a pure coordination game due to their salience. To collect data for this investig...