Sciweavers

15660 search results - page 10 / 3132
» The Unbalance of Set Systems
Sort
View
77
Voted
AUTOMATICA
2008
75views more  AUTOMATICA 2008»
14 years 10 months ago
Computations of probabilistic output admissible set for uncertain constrained systems
Abstract-- This paper considers uncertain constrained systems, and develops a method for computing a probabilistic output admissible (POA) set which is a set of initial states prob...
Takeshi Hatanaka, Kiyotsugu Takaba
LANMR
2004
14 years 11 months ago
Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming
Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...
Isabella Cattinelli, Maria Luisa Damiani, Andrea N...
LPNMR
2007
Springer
15 years 4 months ago
The First Answer Set Programming System Competition
This paper gives a summary of the First Answer Set Programming System Competition that was held in conjunction with the Ninth International Conference on Logic Programming and Nonm...
Martin Gebser, Lengning Liu, Gayathri Namasivayam,...
PICS
2003
14 years 11 months ago
Selection of Training Sets for the Characterisation of Multispectral Imaging Systems
To establish a correlation between the system output and the corresponding reflectance, the system characterisation functionDeriving the actual multispectral data from the output o...
Paolo Pellegri, Gianluca Novati, Raimondo Schettin...
AMC
2005
120views more  AMC 2005»
14 years 10 months ago
ICS: a package for computing involutive characteristic set of algebraic partial differential equation systems
A constructive algorithm for the completion of arbitrary algebraic partial differential equation systems to involutive ones are presented. Based on it, an implementation ICS for c...
Shan-Qing Zhang, Gui-Xu Zhang, Zhi-Bin Li