Sciweavers

10718 search results - page 717 / 2144
» On the Circuit Implementation Problem
Sort
View
FGCS
2006
55views more  FGCS 2006»
15 years 7 months ago
Simulating and visualizing the human arterial system on the TeraGrid
We present a Grid solution to a grand challenge problem, the simulation and visualization of the human arterial system. We implemented our simulation and visualization system on t...
Suchuan Dong, Joseph A. Insley, Nicholas T. Karoni...
JAR
2007
90views more  JAR 2007»
15 years 7 months ago
A Tableau Decision Procedure for SHOIQ
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be...
Ian Horrocks, Ulrike Sattler
NPL
2002
151views more  NPL 2002»
15 years 7 months ago
Additive Composition of Supervised Self Organizing Maps
The learning of complex relationships can be decomposed into several neural networks. The modular organization is determined by prior knowledge of the problem that permits to split...
Jean-Luc Buessler, Jean-Philippe Urban, Julien Gre...
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
15 years 6 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske
RAS
2010
106views more  RAS 2010»
15 years 6 months ago
A developmental algorithm for ocular-motor coordination
This paper presents a model of ocular-motor development, inspired by ideas and data from developmental psychology. The learning problem concerns the growth of the transform betwee...
F. Chao, M. H. Lee, J. J. Lee