4047 search results - page 347 / 810 » Algebraic Model Checking |
177
click to vote
NIPS
2007
15 years 8 months ago
2007
Statistical models on full and partial rankings of n items are often of limited practical use for large n due to computational consideration. We explore the use of non-parametric ...
154
click to vote
ICRA
2003
IEEE
16 years 1 days ago
2003
IEEE
In this paper, we report on a new stability analysis for hybrid legged locomotion systems based on factorization of return maps. We apply this analysis to a family of models of th...
162
click to vote
HICSS
2006
IEEE
16 years 24 days ago
2006
IEEE
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with subjects and...
177
click to vote
MMMACNS
2005
Springer
16 years 7 days ago
2005
Springer
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with both subjects...
158
click to vote
UC
2005
Springer
16 years 6 days ago
2005
Springer
We present a theoretical model for self-assembling tiles with flexible branches motivated by DNA branched junction molecules. We encode an instance of a “problem” as a pot of ...