3082 search results - page 458 / 617 » Deviation Analysis: A New Use of Model Checking |
177
click to vote
AAAI
2012
13 years 8 months ago
2012
Current computer involvement in adolescent social networks (youth between the ages of 11 and 17) provides new opportunities to study group dynamics, interactions amongst peers, an...
145
click to vote
HICSS
2006
IEEE
16 years 12 days ago
2006
IEEE
Understanding the dynamics of technology evolution—whether for the purposes of forecasting new product or technology infrastructure developments, or identifying the basis for fu...
187
click to vote
COLT
2006
Springer
15 years 10 months ago
2006
Springer
We describe a novel framework for the design and analysis of online learning algorithms based on the notion of duality in constrained optimization. We cast a sub-family of universa...
164
click to vote
SSWMC
2004
15 years 7 months ago
2004
In this paper, we present a new method for estimating the secret message length of bit-streams embedded using the Least Significant Bit embedding (LSB) at random pixel positions. ...
182
click to vote
RSKT
2009
Springer
16 years 26 days ago
2009
Springer
A game-theoretic approach for learning optimal parameter values for probabilistic rough set regions is presented. The parameters can be used to define approximation regions in a p...