2137 search results - page 345 / 428 » Proving Abstract Non-interference |
AISC
2008
Springer
15 years 5 days ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
MMB
2010
Springer
15 years 4 days ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
105
click to vote
AMFG
2005
IEEE
15 years 4 days ago
2005
IEEE
Abstract. Face recognition under varying pose is a challenging problem, especially when illumination variations are also present. Under Lambertian model, spherical harmonics repres...
101
Voted
BIRTHDAY
2005
Springer
15 years 3 days ago
2005
Springer
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
147
click to vote
COGSYS
2005
Springer
15 years 3 days ago
2005
Springer
Abstract. Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction ...