Found: 19
Select item for more details and to access through your institution.
Primitive recursive real numbers.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 4/5, p. 365, doi. 10.1002/malq.200710005
- By:
- Publication type:
- Article
Deep Neural Networks with Multistate Activation Functions.
- Published in:
- Computational Intelligence & Neuroscience, 2015, v. 2015, p. 1, doi. 10.1155/2015/721367
- By:
- Publication type:
- Article
Improving speech enhancement by focusing on smaller values using relative loss.
- Published in:
- IET Signal Processing (Wiley-Blackwell), 2020, v. 14, n. 6, p. 374, doi. 10.1049/iet-spr.2019.0290
- By:
- Publication type:
- Article
Logic and AI in China: An Introduction.
- Published in:
- 2013
- By:
- Publication type:
- Editorial
Symbolic model checking for Dynamic Epistemic Logic -- S5 and beyond.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 2, p. 367, doi. 10.1093/logcom/exx038
- By:
- Publication type:
- Article
Two alternative notions of 'possibility' satisfying Halpern's conditions.
- Published in:
- Journal of Logic & Computation, 2000, v. 10, n. 2, doi. 10.1093/logcom/10.2.253
- By:
- Publication type:
- Article
Dropout with Tabu Strategy for Regularizing Deep Neural Networks.
- Published in:
- Computer Journal, 2020, v. 63, n. 7, p. 1031, doi. 10.1093/comjnl/bxz062
- By:
- Publication type:
- Article
Three-stage training and orthogonality regularization for spoken language recognition.
- Published in:
- EURASIP Journal on Audio Speech & Music Processing, 2023, v. 2023, n. 1, p. 1, doi. 10.1186/s13636-023-00281-y
- By:
- Publication type:
- Article
Masked multi-center angular margin loss for language recognition.
- Published in:
- EURASIP Journal on Audio Speech & Music Processing, 2022, v. 2022, n. 1, p. 1, doi. 10.1186/s13636-022-00249-4
- By:
- Publication type:
- Article
An effective variable selection heuristic in SLS for weighted Max-2-SAT.
- Published in:
- Journal of Heuristics, 2015, v. 21, n. 3, p. 433, doi. 10.1007/s10732-015-9284-3
- By:
- Publication type:
- Article
Contextualized Latent Semantic Indexing: A New Approach to Automated Chinese Essay Scoring.
- Published in:
- Journal of Intelligent Systems, 2017, v. 26, n. 2, p. 263, doi. 10.1515/jisys-2015-0048
- By:
- Publication type:
- Article
Long Short-Term Memory Projection Recurrent Neural Network Architectures for Piano’s Continuous Note Recognition.
- Published in:
- Journal of Robotics, 2017, p. 1, doi. 10.1155/2017/2061827
- By:
- Publication type:
- Article
A Fast Learning Method for Multilayer Perceptrons in Automatic Speech Recognition Systems.
- Published in:
- Journal of Robotics, 2015, v. 2015, p. 1, doi. 10.1155/2015/797083
- By:
- Publication type:
- Article
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover.
- Published in:
- Journal of Artificial Intelligence Research, 2013, v. 46, p. 687, doi. 10.1613/jair.3907
- By:
- Publication type:
- Article
Variable Forgetting in Reasoning about Knowledge.
- Published in:
- Journal of Artificial Intelligence Research, 2009, v. 35, p. 677
- By:
- Publication type:
- Article
SCESS: a WFSA-based automated simplified chinese essay scoring system with incremental latent semantic analysis.
- Published in:
- Natural Language Engineering, 2016, v. 22, n. 2, p. 291, doi. 10.1017/S1351324914000138
- By:
- Publication type:
- Article
Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2864, doi. 10.1093/comjnl/bxu135
- By:
- Publication type:
- Article
Model Checking Temporal Logics of Knowledge Via OBDDs.
- Published in:
- Computer Journal, 2007, v. 50, n. 4, p. 403, doi. 10.1093/comjnl/bxm009
- By:
- Publication type:
- Article
Iterated Clique Reductions in Vertex Weighted Coloring for Large Sparse Graphs.
- Published in:
- Entropy, 2023, v. 25, n. 10, p. 1376, doi. 10.3390/e25101376
- By:
- Publication type:
- Article