Sciweavers

3206 search results - page 240 / 642
» How minds can be computational systems
Sort
View
BMCV
2000
Springer
15 years 11 months ago
Unsupervised Learning of Biologically Plausible Object Recognition Strategies
Recent psychological and neurological evidence suggests that biological object recognition is a process of matching sensed images to stored iconic memories. This paper presents a p...
Bruce A. Draper, Kyungim Baek
ICCS
2007
Springer
15 years 10 months ago
Formal Verification of Analog and Mixed Signal Designs in Mathematica
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...
ACL
2009
15 years 4 months ago
Paraphrase Recognition Using Machine Learning to Combine Similarity Measures
This paper presents three methods that can be used to recognize paraphrases. They all employ string similarity measures apshallow abstractions of the input sentences, and a Maximu...
Prodromos Malakasiotis
COLING
2010
15 years 1 months ago
Semi-supervised dependency parsing using generalized tri-training
Martins et al. (2008) presented what to the best of our knowledge still ranks as the best overall result on the CONLLX Shared Task datasets. The paper shows how triads of stacked ...
Anders Søgaard, Christian Rishøj
FOCS
2009
IEEE
16 years 1 months ago
Randomized Self-Assembly for Exact Shapes
— Working in Winfree’s abstract tile assembly model, we show that a constant-size tile assembly system can be programmed through relative tile concentrations to build an n × n...
David Doty