9405 search results - page 1526 / 1881 » Computing a Model of Set Theory |
160
click to vote
ACRI
2006
Springer
16 years 20 days ago
2006
Springer
We present a cellular-automaton model of a reaction-diffusion excitable system with concentration dependent inhibition of the activator, and study the dynamics of mobile localiza...
164
Voted
ICMCS
2005
IEEE
16 years 9 days ago
2005
IEEE
Semantic analysis of sport sequences requires camera calibration to obtain player and ball positions in real-world coordinates. For court sports like tennis, the marker lines on t...
163
click to vote
ISMVL
2005
IEEE
16 years 8 days ago
2005
IEEE
It is believed that quantum computing will begin to have a practical impact in industry around year 2010. We propose an approach to test generation and fault localization for a wi...
170
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
173
click to vote
FOSSACS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...