1888 search results - page 112 / 378 » Proof theory and computational analysis |
105
Voted
ICIP
2010
IEEE
14 years 10 months ago
2010
IEEE
When comparing 2D shapes, a key issue is their normalization. Translation and scale are easily taken care of by removing the mean and normalizing the energy. However, defining and...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Managers and group leaders of a community may not have enough information to help them direct the community development. In this paper, we adopt social network analysis, graph the...
108
Voted
CCS
2006
ACM
15 years 4 months ago
2006
ACM
We introduce the notion of resiliency policies in the context of access control systems. Such policies require an access control system to be resilient to the absence of users. An...
109
Voted
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Concurrent reachability games is a class of games heavily studied by the computer science community, in particular by the formal methods community. Two standard algorithms for app...
118
Voted
JSYML
2007
15 years 13 days ago
2007
We investigate the complexity of various combinatorial theorems about linear and partial orders, from the points of view of computability theory and reverse mathematics. We focus ...