|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Juan Manuel García Chamizo, Jerónimo Mora Pascual, Higinio Mora Mora |
Exact Numerical Processing.  |
DSD  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Andrew M. Tyrrell |
Recovery Blocks and Algorithm-Based Fault Tolerance.  |
EUROMICRO  |
1996 |
DBLP DOI BibTeX RDF |
numerical processing, added redundancy, acceptability check, error detection, software fault tolerance, algorithm-based fault tolerance, recovery blocks, time overhead |
| 1 | Joonkoo Park, Andrew Hebrank, Thad A. Polk, Denise C. Park |
Neural Dissociation of Number from Letter Recognition and Its Relationship to Parietal Numerical Processing.  |
J. Cognitive Neuroscience  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Reuter |
Application of Non-convex Fuzzy Variables to Fuzzy Structural Analysis.  |
SMPS  |
2008 |
DBLP DOI BibTeX RDF |
Non-convex fuzzy variables, Fuzzy structural analysis, Discretization, Imprecise data |
| 1 | Michela Taufer, David P. Anderson, Pietro Cicotti, Charles L. Brooks III |
Homogeneous Redundancy: a Technique to Ensure Integrity of Molecular Simulation Results Using Public Computing.  |
IPDPS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuting Chen, Shaoying Liu |
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing.  |
APSEC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoyuki Kubota |
A spiking neural network for behavior learning of a mobile robot in a dynamic environment.  |
SMC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gershon Elber, Xianming Chen, Elaine Cohen |
Mold Accessibility via Gauss Map Analysis.  |
SMI  |
2004 |
DBLP DOI BibTeX RDF |
Mold separability, silhouette generator, vision event, visibility, silhouette, aspect graph |
| 1 | Jong Whoa Na |
A Parallel Electro-Optical Computer Architecture for Artificial Intelligence.  |
PDCAT  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Lesser, Jan de Cuveland, Volker Lindenstruth, C. Reichling, R. Schneider, M. W. Schulz |
A MIMD-Based Multi Threaded Real-Time Processor for Pattern Recognition.  |
DSD  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Christophe Fauroux, Marc Sartor, Manuel Paredes |
Using the Skeleton Method to Define a Preliminary Geometrical Model for Three-Dimensional Speed Reducers.  |
Eng. Comput. (Lond.)  |
2000 |
DBLP BibTeX RDF |
3D speed reducer design, Closed-loop chain, Geometrical model optimisation, Skeleton, Mechanism synthesis |
| 1 | Lars Viklund, Peter Fritzson |
ObjectMath - An Object-Oriented Language and Environment for Symbolic and Numerical Processing in Scientific Computing.  |
Scientific Programming  |
1995 |
DBLP BibTeX RDF |
|
| 1 | Roberto Basili, Maria Teresa Pazienza, Paola Velardi |
What can be learned from raw texts?  |
Machine Translation  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiannis Aloimonos, Zoran Duric |
Active Egomotion Estimation: A Qualitative Approach.  |
ECCV  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Desmarais, Alain Leblanc |
A Meteorological Database for Numerical and Non-Numerical Processing.  |
DEXA  |
1991 |
DBLP BibTeX RDF |
|
| 1 | William David Miller |
Semantic Assistance Nets.  |
SIGSMALL/PC Symposium  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuichi Fukuda |
Coded Shape Representation and its Application to Mechnanical and Structural Design.  |
MIT-JSME Workshop  |
1989 |
DBLP DOI BibTeX RDF |
Mechanical and Structural Design, 2-dimensional Shape Model, Directional Code, List Expression, Qualitative Model |
| 1 | O. Akhrif, Gilmer L. Blankenship, P. Chancelier, C. Gomez, J. P. Quadrat, A. Sulem |
Integration of Symbolic and Numerical Processing in Control Engineering Design.  |
COMPCON  |
1988 |
DBLP BibTeX RDF |
|
| 1 | Jean-Paul Sansonnet, Michel Castan, Christian Percebois, D. Botella, J. Perez |
Direct Execution of Lisp on a List-Directed Architecture.  |
ASPLOS  |
1982 |
DBLP DOI BibTeX RDF |
LISP |
| 1 | D. Hampel, R. L. Barron, D. Cleveland |
Design and application of electronically programmable LSI arrays.  |
AFIPS National Computer Conference  |
1975 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|