Treffer 141 - 160 von 10.197

141

Logic programs with functions and default values
CABALAR, Pedro ; LORENZO, David
Logics in artificial intelligence (Lisbon, 27-30 September 2004)Lecture notes in computer science. :294-306

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
142

Neural network learning using time-varying two-phase optimization
Hyeon Myeong ; Jong-Hwan Kim
Proceedings of 1994 33rd IEEE Conference on Decision and Control Decision and control Decision and Control, 1994., Proceedings of the 33rd IEEE Conference on. 2:1881-1882 vol.2 1994

Konferenz
143

Dieses Ergebnis kann Gästen nicht angezeigt werden.

144

Neuro-dynamic programming based on self-organized patterns
Si, J. ; Wang, Y.-T.
Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014) Intelligent control/intelligent systems and semiotics Intelligent Control/Intelligent Systems and Semiotics, 1999. Proceedings of the 1999 IEEE International Symposium on. :120-125 1999

Konferenz
145

Estimates of Variation with Respect to a Set and Applications to Optimization Problems
GNECCO, G ; SANGUINETI, M
Journal of optimization theory and applications. 145(1):53-75

Control theory, operatio... Automatique, recherche o... Computer science Informatique Sciences exactes et tech... Exact sciences and techn...
Fachzeitschrift
146

Functional programming for modular Bayesian inference
Ścibior, Adam ; Kammar, Ohad ; Ghahramani, Zoubin
Proceedings of the ACM on Programming Languages. 2(ICFP):1-29

Fachzeitschrift
147

Eliciting preferences over observed behaviours based on relative evaluations
da Silva, Valdinei Freire ; Lima, Pedro ; Costa, Anna Helena Reali
2007 IEEE/RSJ International Conference on Intelligent Robots and Systems Intelligent Robots and Systems, 2007. IROS 2007. IEEE/RSJ International Conference on. :423-428 Oct, 2007

Konferenz
148

ONNX-Scala: typeful, functional deep learning / Dotty meets an open AI standard (open-source talk)
Merritt, Alexander
Proceedings of the 11th ACM SIGPLAN International Symposium on Scala. :33-33

Konferenz
149

Go! for multi-threaded deliberative agents
CLARK, Keith L ; MCCABE, Frank G
DALT 2003 : declarative agent languages and technologies (Melbourne, 15 July 2003, revised selected and invited papers)Lecture notes in computer science. :54-75

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
150

An Optimal Approximate Dynamic Programming Algorithm for the Lagged Asset Acquisition Problem
Nascimento, Juliana M. ; Powell, Warren B.
Mathematics of Operations Research, 2009 Feb 01. 34(1), 210-237.

Fachzeitschrift
151

Visualisation as an aid to low-level programming
Beaumont, M. ; Jackson, D.
Proceedings Frontiers in Education 1997 27th Annual Conference. Teaching and Learning in an Era of Change Frontiers in education Frontiers in Education Conference, 1997. 27th Annual Conference. Teaching and Learning in an Era of Change. Proceedings.. 3:1158-1163 vol.3 1997

Konferenz
152

Course Design and Tool Development for Functional Programming Integrating with Program Verification: from the Perspective of the Interactive Theorem Prover
Qu, Haipeng ; Hou, Yaojun ; Zhou, Rongqian
Proceedings of the ACM Turing Award Celebration Conference - China 2023. :94-95

Konferenz
153

An interior point approach to Boolean vector function synthesis
Kamath, A.P. ; Karmarkar, N.K. ; Ramakrishnan, K.G. ; et al.
Proceedings of 36th Midwest Symposium on Circuits and Systems Circuits and systems Midwest symposium Circuits and Systems, 1993., Proceedings of the 36th Midwest Symposium on. :185-189 vol.1 1993

Konferenz
154

On the design of effective learning materials for supporting self-directed learning of programming
Tirronen, Ville ; Isomöttönen, Ville
Proceedings of the 12th Koli Calling International Conference on Computing Education Research. :74-82

Konferenz
155

Active learning in computer science: impacting student behavior
Cordes, D. ; Parrish, A.
32nd Annual Frontiers in Education Frontiers in education Frontiers in Education, 2002. FIE 2002. 32nd Annual. 1:T2A-T2A 2002

Konferenz
156

VML: A View Modeling Language for computational knowledge discovery
BANNAI, Hideo ; TAMADA, Yoshinori ; MARUYAMA, Osamu ; et al.
DS 2001 : discovery science (Washington DC, 25-28 November 2001)Lecture notes in computer science. :30-44

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
157

Behind every great deep learning framework is an even greater programming languages concept (keynote)
Meijer, Erik
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. :1-1

Konferenz
158

Classification by Evolutionary Generalized Radial Basis Functions
Castaño, A. ; Hervás-Martínez, C. ; Gutierrez, P.A. ; et al.
2009 Ninth International Conference on Intelligent Systems Design and Applications Intelligent Systems Design and Applications, 2009. ISDA '09. Ninth International Conference on. :203-208 Nov, 2009

Konferenz
159

Improved tupling for optimizing multi-paradigm declarative programs
GONZALEZ, Soledad ; MORENO, Ginés
Advances in artificial intelligence : IBERAMIA 2004 (Puebla, 22-26 November 2004)Lecture notes in computer science. :419-429

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
160

Chapter 13 - Prospects
In Foundations of Quantum Programming Edition: Second Edition. 2024:367-373

Buch

Filter