Sciweavers

3618 search results - page 295 / 724
» Additive functions for number systems in function fields
Sort
View
SIAMSC
2008
129views more  SIAMSC 2008»
15 years 6 months ago
Iterative Solution of Piecewise Linear Systems
The correct formulation of numerical models for free-surface hydrodynamics often requires the solution of special linear systems whose coefficient matrix is a piecewise constant fu...
Luigi Brugnano, Vincenzo Casulli
CDC
2010
IEEE
150views Control Systems» more  CDC 2010»
15 years 1 months ago
Nonlinear hybrid system identification with kernel models
Abstract-- This paper focuses on the identification of nonlinear hybrid systems involving unknown nonlinear dynamics. The proposed method extends the framework of [1] by introducin...
Fabien Lauer, Gérard Bloch, René Vid...
AAAI
2004
15 years 7 months ago
Fibring Neural Networks
Neural-symbolic systems are hybrid systems that integrate symbolic logic and neural networks. The goal of neural-symbolic integration is to benefit from the combination of feature...
Artur S. d'Avila Garcez, Dov M. Gabbay
SI3D
1995
ACM
15 years 9 months ago
I-COLLIDE: An Interactive and Exact Collision Detection System for Large-Scale Environments
: We present an exact and interactive collision detection system, I-COLLIDE, for large-scale environments. Such environments are characterized by the number of objects undergoing r...
Jonathan D. Cohen, Ming C. Lin, Dinesh Manocha, Ma...
ASWEC
2005
IEEE
15 years 11 months ago
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
Soon-Kyeong Kim, Luke Wildman, Roger Duke