DAGSTUHL 2008 - PDF Preprint Papers

DAGSTUHL 2008 Scientific Visualization Conference

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed DAGSTUHL-2008 Paper

click to vote

DAGSTUHL
2008

146views Software Engineering» more DAGSTUHL 2008»

The Grand Challenges and Myths of Neural-Symbolic Computation

13 years 6 months ago

Download drops.dagstuhl.de

The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...

Luís C. Lamb

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Related Conferences

Id	Views	Title	Status

1	146	The Grand Challenges and Myths of Neural-Symbolic Computation	claim
2	139	Error-Free Transformation in Rounding Mode toward Zero	claim
3	135	Continued Fractions for Special Functions: Handbook and Software	claim
4	131	Interactive Multiobjective Optimization Using a Set of Additive Value Functions	claim
5	125	Error Bounds for Lanczos Approximations of Rational Functions of Matrices	claim
6	125	Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS	claim
7	121	Implementation of the reciprocal square root in MPFR	claim
8	121	Distributed Bounded-Error Parameter and State Estimation in Networks of Sensors	claim
9	120	Real-World Applications of Multiobjective Optimization	claim
10	118	Constraint Satisfaction Problems with Infinite Templates	claim
11	117	Present and Future of Practical SAT Solving	claim
12	116	Robustness of Boolean operations on subdivision-surface models	claim
13	116	Dualities for Constraint Satisfaction Problems	claim
14	114	Interval Arithmetic Using SSE-2	claim
15	113	Interval Arithmetic and Standardization	claim
16	112	C-XSC and Closely Related Software Packages	claim
17	111	Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation	claim
18	109	Extending the Range of C-XSC: Some Tools and Applications for the use in Parallel and other Environments	claim
19	109	Uniprocessor EDF Feasibility is an Integer Problem	claim
20	109	08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems	claim
21	108	Complete Interval Arithmetic and its Implementation	claim
22	107	Building Biologically-Inspired Self-Adapting Systems	claim
23	107	Recent Results on the Algebraic Approach to the CSP	claim
24	104	A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range	claim
25	104	Future Challenges	claim
26	102	Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling	claim
27	101	Interval Subroutine Library Mission	claim
28	101	Mathematica Connectivity to Interval Libraries filib++ and C-XSC	claim
29	99	Complete Interval Arithmetic and Its Implementation on the Computer	claim
30	98	08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures	claim
31	96	08071 Abstracts Collection -- Scheduling	claim
32	95	Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021	claim
33	94	Real Algebraic Numbers: Complexity Analysis and Experimentation	claim
34	92	A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC	claim
35	91	Theory of Real Computation According to EGC	claim
36	89	Distributed parameter and state estimation in a network of sensors	claim
37	89	08061 Abstracts Collection -- Types, Logics and Semantics for State	claim
38	85	A Software Library for Reliable Online-Arithmetic with Rational Numbers	claim
39	84	Robustness and Randomness	claim
40	83	Perspectives of Neuro--Symbolic Integration -- Extended Abstract --	claim
41	83	Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format	claim
42	82	Mining Phenotypes for Protein Function Prediction	claim
43	81	Numerical Verification Assessment in Computational Biomechanics	claim
44	80	A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling	claim
45	79	Challenges for Multi-function SoC Scheduling and Assistive Living Services	claim
46	78	Ontology-Based Interactive Information Extraction	claim
47	77	On the Interoperability between Interval Software	claim
48	72	The New IEEE-754 Standard for Floating Point Arithmetic	claim
49	66	08061 Executive Summary -- Types, Logics and Semantics for State	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers