564 search results - page 42 / 113 » Corner cutting systems |
138
click to vote
CADE
2008
Springer
15 years 4 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...
123
click to vote
FGR
2006
IEEE
15 years 8 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...
150
click to vote
AAAI
2008
15 years 3 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...
125
click to vote
FDL
2008
IEEE
15 years 8 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...
142
click to vote
NEUROSCIENCE
2001
Springer
15 years 6 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...