11436 search results - page 255 / 2288 » Modeling Real Reasoning |
157
Voted
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
We present a new method to robustly and efficiently analyze foreground when we detect background for a fixed camera view by using mixture of Gaussians models and multiple cues. Th...
128
Voted
ICANN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A real-time, large scale, leaky-integrate-and-fire neural network processor realized using FPGA is presented. This has been designed, as part of a collaborative project,...
122
Voted
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
148
Voted
MICCAI
2009
Springer
16 years 4 months ago
2009
Springer
Patient-specific biomechanical models implemented using specialized nonlinear (i.e. taking into account material and geometric nonlinearities) finite element procedures were applie...
146
Voted
ECRTS
2008
IEEE
15 years 10 months ago
2008
IEEE
Existing off-line schedulability analysis for real-time systems can only handle periodic or sporadic tasks with known minimum inter-arrival times. Modeling sporadic tasks with fi...