2082 search results - page 250 / 417 » Change Paths in Reasoning! |
131
click to vote
TREC
2001
15 years 6 months ago
2001
Sheffield's participation in the inaugural Arabic cross language track is described here. Our goal was to examine how well one could achieve retrieval of Arabic text with the...
132
click to vote
BMVC
1998
15 years 6 months ago
1998
A technique for recognizing planar objects in three-dimensional space is described. The object's domain is not restricted to purely two-dimensional items but includes fairly ...
115
click to vote
WSC
1998
15 years 6 months ago
1998
Simulation is used to verify the feasibility of the design of manufacturing cells. The cell design, which combines new and existing machines in a component manufacture, is present...
146
click to vote
AAAI
1996
15 years 6 months ago
1996
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
113
click to vote
IJCAI
1989
15 years 5 months ago
1989
Model-based revision of knowledge bases ex pressed as first-order theories was shown in [Winslett 88b] to be useful as a means of de scribing and reasoning about the effects o...