Sciweavers

7971 search results - page 1354 / 1595
» On unbounded operators and applications
Sort
View
ENTCS
2007
114views more  ENTCS 2007»
15 years 6 months ago
Reporting Failures in Functional Logic Programs
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...
Michael Hanus
JUCS
2006
77views more  JUCS 2006»
15 years 6 months ago
A New System Dedicated to Real-time Cardiac Arrhythmias Tele-assistance and Monitoring
: More than 60,000 people die suddenly each year in France due to cardiac arrhythmias. The current techniques used to diagnose cardiac arrhythmias such as HOLTER, R.TEST and teleme...
Haiying Zhou, Kun Mean Hou, Laurent Gineste, Chris...
JUCS
2006
109views more  JUCS 2006»
15 years 6 months ago
4M - Software for Modelling and Analysing Cropping Systems
: Models have played an important role in scientific research for a long time. The crop models try to simulate the functioning of the atmosphere-soil-plant system with the help of ...
Nándor Fodor
EOR
2007
117views more  EOR 2007»
15 years 6 months ago
Simultaneous perturbation stochastic approximation of nonsmooth functions
A simultaneous perturbation stochastic approximation (SPSA) method has been developed in this paper, using the operators of perturbation with the Lipschitz density function. This ...
Vaida Bartkute, Leonidas Sakalauskas
KI
2006
Springer
15 years 6 months ago
GeTS - A Specification Language for Geo-Temporal Notions
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
Hans Jürgen Ohlbach
« Prev « First page 1354 / 1595 Last » Next »