564 search results - page 42 / 113 » Corner cutting systems |
CADE
2008
Springer
13 years 11 months ago
2008
Springer
It is well known how to use an intuitionistic meta-logic to specify natural deduction systems. It is also possible to use linear logic as a meta-logic for the specification of a va...
FGR
2006
IEEE
14 years 3 months ago
2006
IEEE
Current 2D face recognition systems encounter difficulties in recognizing faces with large pose variations. Utilizing the pose-invariant features of 3D face data has the potentia...
AAAI
2008
13 years 10 months ago
2008
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
FDL
2008
IEEE
14 years 3 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
NEUROSCIENCE
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. A general principle of cortical architecture is the bidirectional flow of information along feedforward and feedback connections. In the feedforward path, converging con...