9405 search results - page 105 / 1881 » Computing a Model of Set Theory |
MP
2008
14 years 10 months ago
2008
Abstract. We attempt a broad exploration of properties and connections between the symmetry function of a convex set S IRn and other arenas of convexity including convex functions...
NIPS
2000
14 years 11 months ago
2000
We introduce total wire length as salient complexity measure for an analysis of the circuit complexity of sensory processing in biological neural systems and neuromorphic engineer...
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
CAEPIA
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. In recent years, particle filters have emerged as a useful tool that enables the application of Bayesian reasoning to problems requiring dynamic state estimation. The ef...
COORDINATION
2007
Springer
15 years 4 months ago
2007
Springer
We investigate, in a process algebraic setting, a new notion of compliance that we call strong service compliance: composed services are strong compliant if their composition is bo...