Sciweavers

23119 search results - page 282 / 4624
» From Domain to Requirements
Sort
View
IJCAI
1989
15 years 8 months ago
Learning Novel Domains Through Curiosity and Conjecture
This paper describes DIDO, a system we have developed to carry out exploratory learning of unfamiliar domains without assistance from an external teacher. The program incorporates...
Paul D. Scott, Shaul Markovitch
CGF
2008
92views more  CGF 2008»
15 years 6 months ago
Pointwise radial minimization: Hermite interpolation on arbitrary domains
In this paper we propose a new kind of Hermite interpolation on arbitrary domains, matching derivative data of arbitrary order on the boundary. The basic idea stems from an interp...
Michael S. Floater, C. Schulz
AIEDAM
1999
157views more  AIEDAM 1999»
15 years 6 months ago
Representing a robotic domain using temporal description logics
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plan...
Alessandro Artale, Enrico Franconi
RC
2002
96views more  RC 2002»
15 years 6 months ago
Verification of Invertibility of Complicated Functions over Large Domains
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
Jens Hoefkens, Martin Berz
DPHOTO
2009
119views Hardware» more  DPHOTO 2009»
15 years 4 months ago
Naturalness classification of images into DCT domain
Holistic representations of natural scenes are an effective and powerful source of information for semantic classification and analysis of arbitrary images. Recently, the frequenc...
Sebastiano Battiato, Giovanni Maria Farinella, Gio...