Sciweavers

13306 search results - page 2258 / 2662
» Theoretical Computer Science
Sort
View
IJCAI
2003
15 years 9 months ago
Practical Partition-Based Theorem Proving for Large Knowledge Bases
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...
Bill MacCartney, Sheila A. McIlraith, Eyal Amir, T...
237
Voted
VMV
2001
178views Visualization» more  VMV 2001»
15 years 9 months ago
Consistent Visual Information Processing Applied to Object Recognition Landmark Definition and Real-Time Tracking
The handling of situations where multiple visual information occurs requires the fusion of visual information. This is a very common task found in the processing of multisource / ...
Axel Pinz
WSC
2004
15 years 9 months ago
Approximating Component Selection
Simulation composability is a difficult capability to achieve due to the challenges of creating components, selecting combinations of components, and integrating the selected comp...
Michael Roy Fox, David C. Brogan, Paul F. Reynolds...
COLING
2000
15 years 8 months ago
An ontology of systematic relations for a shared grammar of Slavic
Sharing portions of grammars across languages greatly reduces the costs of multilingual grammar engineering. Related languages share a much wider range of linguistic information t...
Tania Avgustinova, Hans Uszkoreit
NC
1998
140views Neural Networks» more  NC 1998»
15 years 8 months ago
Recurrent Neural Networks with Iterated Function Systems Dynamics
We suggest a recurrent neural network (RNN) model with a recurrent part corresponding to iterative function systems (IFS) introduced by Barnsley 1] as a fractal image compression ...
Peter Tiño, Georg Dorffner
« Prev « First page 2258 / 2662 Last » Next »