Search results for "architectures"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Paul Zimmermann	Implementation of the reciprocal square root in MPFR.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
22	Markus Grimmer	Extending the Range of C-XSC: Some Tools and Applications for the use in Parallel and other Environments.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
22	Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer 0002	A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
22	John D. Pryce, George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, Spencer Smith 0001	Second Note on Basic Interval Arithmetic for IEEE754R.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
22	Evgenija D. Popova	On the Interoperability between Interval Software.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
22	Frithjof Blomquist, Werner Hofschuster, Walter Krämer	A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
22	Gregorio de Miguel Casado, Juan Manuel García Chamizo	A Software Library for Reliable Online-Arithmetic with Rational Numbers.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
22	Ulrich W. Kulisch	Complete Interval Arithmetic and its Implementation.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
22	Peter W. Markstein	The New IEEE-754 Standard for Floating Point Arithmetic.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
22	Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer 0002	A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	C-XSC, 100-digit challenge, reliable linear system solver, large dense linear systems, high performance computing, reliable computing
22	Ekaterina Auer, Wolfram Luther	Numerical Verification Assessment in Computational Biomechanics.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	Numerical verification assessment, validation, uncertainty, result verification
22	Stef Graillat, Jean Luc Lamotte, Diep Nguyen Hong	Error-Free Transformation in Rounding Mode toward Zero.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
22	Markus Grimmer	Extending the Range of C-XSC: Some Tools and Applications for the Use in Parallel and Other Environments.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	C-XSC, Verified Linear System Solver, MPI, Maple, Interval Arithmetic, Integral Equations, Parallel Environment
22	R. Baker Kearfott, John D. Pryce, Nathalie Revol	Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
22	Eva Dyllong	Some Applications of Interval Arithmetic in Hierarchical Solid Modeling.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	Reliable solid modeling, interval arithmetic, hierarchical data structure
22	Ulrich W. Kulisch	Complete Interval Arithmetic and Its Implementation on the Computer.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	arithmetic standards, computer arithmetic, interval arithmetic, floating-point arithmetic
22	Frithjof Blomquist, Werner Hofschuster, Walter Krämer	A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	AMS classification 65G20, 65Y99, 37M99, 30-04, 65G30
22	Annie A. M. Cuyt, Franky Backeljauw, Stefan Becuwe, Michel Colman, Tom Docx, Joris Van Deun	Continued Fractions for Special Functions: Handbook and Software.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
22	Walter Krämer, Michael Zimmer 0002	Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	AMS subject classification 65H10, 15-04, 65G10, 65-04, 68W15, 65G99
22	Evgenija D. Popova	Mathematica Connectivity to Interval Libraries filib++ and C-XSC.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	interval software, C-XSC, filib++, MathLink, external programs, interfacing, Mathematica, Software interoperability
22	Werner Hofschuster, Walter Krämer, Markus Neher 0001	C-XSC and Closely Related Software Packages.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	AMS subject classification 68N30, 68N19, 65F99, 65G20, 65G30
22	Di Jiang, Neil F. Stewart	Robustness of Boolean Operations on Subdivision-Surface Models.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
22	Michel Kieffer	Distributed Bounded-Error Parameter and State Estimation in Networks of Sensors.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
22	Andreas Rauh, Johanna Minisini, Eberhard P. Hofer	Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
22	Andreas Frommer, Valeria Simoncini	Error Bounds for Lanczos Approximations of Rational Functions of Matrices.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
22	Elizabeth Boschee, Vasin Punyakanok, Ralph M. Weischedel	An Exploratory Study Towards "Machines that Learn to Read".	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Roger Azevedo, Amy M. Witherspoon	Detecting, Tracking, and Modeling Self-Regulatory Processes during Complex Learning with Hypermedia.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	András Lörincz	Hippocampal Formation Breaks Combinatorial Explosion for Reinforcement Learning: A Conjecture.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Les Sikos, Susan Windisch Brown, Albert E. Kim, Laura A. Michaelis, Martha Palmer	Figurative Language: "Meaning" is Often More than Just a Sum of the Parts.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Antonio Chella, Haris Dindo, Salvatore Gaglio	Learning through Observation and Imitation: An Overview of the ConSCIS Architecture.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Michael Kandefer, Stuart C. Shapiro	A Categorization of Contextual Constraints.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Wei Chen, Scott E. Fahlman	Modeling Mental Contexts and Their Interactions.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Brandon Rohrer	A Unified Architecture for Cognition and Motor Control Based on Neuroanatomy, Psychophysical Experiments, and Cognitive Behaviors.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Jaime Gómez, Ricardo Sanz, Carlos Hernández 0001	Cognitive Ontologies: Mapping Structure and Function of the Brain from a Systemic View.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Susan L. Epstein	Building a Constraint Solver that Learns.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Christian Lebiere, Randall C. O'Reilly, David J. Jilk, Niels Taatgen, John R. Anderson	The SAL Integrated Cognitive Architecture.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	James L. Eilbert	The Internal World Models Needed to Perform Situation Estimation.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Rosamaria E. Barone, Irene Macaluso, Lorenzo Riano, Antonio Chella	A Brain Inspired Architecture for an Outdoor Robot Guide.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Sanford T. Freedman, Julie A. Adams	Synthetic Cognitive Agent Situational Awareness Components.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Josefina Sierra, Josefina Santibáñez	Grounded Language Acquisition Enables Intuitive Reasoning.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Evguenia Malaia, Ronnie B. Wilbur	The Biological Bases of Syntax-Semantics Interface in Natural Languages: Cognitive Modeling and Empirical Evidence.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Alexei V. Samsonovich, Anastasia Kitsantas, Nada Dabbagh	Cognitive Constructor: A Biologically-Inspired Self-Regulated Learning Partner.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Walter Schneider, Michael W. Cole, Sudhir K. Pathak	Reverse Engineering the Brain with a Circuit Diagram Based on a Segmented Connectome and System Dynamics.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Christian R. Huyck, Hina Ghalib	A Neuropsychological Framework for Advancing Artificial Intelligence.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Sergei Nirenburg, Marjorie McShane, Stephen Beale	A Simulated Physiological/Cognitive "Double Agent".	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Philipp Rohlfshagen, Joanna J. Bryson	Improved Animal-Like Maintenance of Homeostatic Goals via Flexible Latching.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	David C. Noelle	Function Follows Form: Biologically Guided Functional Decomposition of Memory Systems.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Knud Thomsen	The Ouroboros Model.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Deepak Khosla, David J. Huber	Perceptive Machines: From Selective Attention and Recognition to Visual Cognition.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Tsvi Achler, Eyal Amir	A Novel Classification Method Using Self-Regulatory Feedback.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Narayan Srinivasa, Stephen Grossberg	Learning Invariant Sensory-Motor Transforms for Fault-Tolerant Control of Redundant Robots.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Don Perlis	To BICA and Beyond: RAH-RAH-RAH! - or - How Biology and Anomalies Together Contribute to Flexible Cognition.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Ben Goertzel, Hugo de Garis	XIA-MAN: An Extensible, Integrative Architecture for Intelligent Humanoid Robotics.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	James J. Staszewski	Cognitive Models of Human Expertise and their Scientific and Practical Value.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Art Pope, Pat Langley	CASTLE: A Framework for Integrating Cognitive Models into Virtual Environments.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Dan Hammerstrom, Mazad Zaveri	Bayesian Memory, a Possible Hardware Building Block for Intelligent Systems.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Eva Hudlicka	Modeling the Mechanisms of Emotion Effects on Cognition.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Rajan Bhattacharyya, Narayan Srinivasa, Stephen Grossberg	Bio-Inspired Planning and Reaching in Complex Environments.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	J. Storrs Hall	SERVO STACKS: An Architecture for Cognitive and Developmental Robotics.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Alexei V. Samsonovich, Shane T. Mueller	Preface: Toward a Growing Computational Replica of the Human Mind.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Michael L. Anderson	Circuit Sharing and the Implementation of Intelligent Systems.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Cyril Brom, Jirí Lukavský	Episodic Memory for Human-like Agents and Human-like Agents for Episodic Memory.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Robert S. Gardner, Adam T. Vogel, Matteo Mainetti, Giorgio A. Ascoli	Quantifying Memory Retrieval: From Neural Substrates to the Subjective Content.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Mark R. Waser	Discovering the Foundations of a Universal System of Ethics as a Road to Safe Artificial Intelligence.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Omid Madani	Systems Learning for Complex Pattern Problems.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	James S. Albus	Reverse Engineering the Brain.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Jeremy L. Wyatt, Nick Hawes	Multiple Workspaces as an Architecture for Cognition.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	John S. Gero	A Cognitively-Based Constructivist Approach to Memory and Reasoning.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Roberto Pirrone, Vincenzo Cannella, Giuseppe Russo	Awareness Mechanisms for an Intelligent Tutoring System.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Ricardo Sanz, Jaime Gómez, Carlos Hernández 0001, Adolfo Hernando	A Principled Approach for Systematic Mind Engineering.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Shane T. Mueller, Brandon S. Minnery	Adapting the Turing Test for Embodied Neurocognitive Evaluation of Biologically-Inspired Cognitive Agents.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Daniel Oblinger	Towards an Adaptive Intelligent Agent.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Paul Kogut, Norris Heintzelman, Greg Stachnick	Applications of BICA to Intelligence Analysis.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Alexei V. Samsonovich	Organizing Committee.	AAAI Fall Symposium: Biologically Inspired Cognitive Architectures	2008	DBLP BibTeX RDF
22	Nikolaos Georgantas	Dynamic Services for Assisted Living Environments.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Mehmet Gövercin, Richard Willmann, Gerd Lanfermann, Tobias Kraft, Stefan Mix, Elisabeth Steinhagen-Thiessen	Assisting age related capabilities by ambient technology to prevent functional decline.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Wolfgang L. Zagler, Paul Panek, Marjo Rauhala	Ambient Assisted Living Systems - The Conflicts between Technology, Acceptance, Ethics and Privacy.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Michael Berger, Dagmar Beyer, Stephan Prueckner	Integrated Human Behavior Modeling.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Klaus-Hendrik Wolf, Michael Marschollek, Jürgen Howe, Reinhold Haux	The impact of sensor-enhanced regional health information systems.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Bart Jansen	Position statement: Physical activity monitoring of elderly patients - 3 tricks to advance the field?.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Max Mühlhäuser	Software Development Support for Ambient Assisted Living.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Bart Jansen	Position statement: Telemonitoring - a too limited view on the wellbeing of the patient.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Arthur I. Karshmer, Daryoush Farsi	Assisted and Independent Living - The User Perspective.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Veikko Ikonen, Eija Kaasinen	Ethical Assessment in the Design of Ambient Assisted Living.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Reiner Wichert	Reference Architecture for Ambient Intelligence.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Rosemarie Santora Lamm, Edwin Roth Lamm	Aging and Technology.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Feng Wang	Policy-based Home Care Systems.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Martin Floeck, Lothar Litz	Integration of Home Automation Technology into an Assisted Living Concept.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Mary Shaw	Aging Users are Still Users.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Victor A. Hirth	Functional Changes in Older Adults: Impact on Home Technology Design.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Martin Becker 0002	Software Architecture Trends and Promising Technology for Ambient Assisted Living Systems.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Johnell O. Brooks	Assisted Living Systems: Human Factors Considerations.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Max Mühlhäuser	Multimodal Interaction for Ambient Assisted Living (AAL).	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Roc Berenguer	Sensor Technologies for AL Systems Integrated Health Monitoring and Emergency Call System.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Gerhard Tröster	Sensors for AAL - what is actually missing?	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Basile Spyropoulos, Aris Tzavaras, Maria Botsivaly, Manolis Moschidis, Konstantina Mertika, Periklis Sochos, Kostas Koutsourakis	Some important aspects of Medical and Nursing House Call sustaining Assisted Living of Ageing Population.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Shu-Chen Li, Michael Schellenbach, Ulman Lindenberger	Assistive Technology for Successful Aging: Perspectives from Developmental Behavioral and Neuroscience.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Thomas Kleinberger	Position paper: Establishing the Market for Assisted Living Solutions.	Assisted Living Systems - Models, Architectures and Engineering Approaches	2007	DBLP BibTeX RDF
22	Peter M. Athanas, Jürgen Becker 0001, Gordon J. Brebner, Jürgen Teich (eds.)	Dynamically Reconfigurable Architectures, 02.04. - 07.04.2006	Dynamically Reconfigurable Architectures	2006	DBLP BibTeX RDF
22	Frank Leymann, Wolfgang Reisig, Satish R. Thatte, Wil M. P. van der Aalst (eds.)	The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006	The Role of Business Processes in Service Oriented Architectures	2006	DBLP BibTeX RDF