1581 search results - page 94 / 317 » Mechanizing Inductive Reasoning |
174
click to vote
EWCBR
2004
Springer
15 years 11 months ago
2004
Springer
In industrial manufacturing rigorous testing is used to ensure that the delivered products meet their specifications. Mechanical maladjustment or faults often show their presence t...
202
click to vote
INFORMATICALT
2010
15 years 3 months ago
2010
This paper analyses the possibilities of integrating different technological and knowledge representation techniques for the development of a framework for the remote control of mu...
181
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
The paper describes a simple but robust framework for visual object tracking in a video sequence. Compared with the existing tracking techniques, our proposed tracking technique h...
149
click to vote
AEI
2004
15 years 6 months ago
2004
The estimation of productivity rates in cyclic construction processes is a difficult, but essential task in the planning of construction projects. The conventional method--a calcu...
130
click to vote
CSL
2000
Springer
15 years 10 months ago
2000
Springer
In the ambient logic of classical second order propositional calculus, we solve the specification problem for a family of excluded middle like tautologies. These are shown to be r...