Sciweavers

4163 search results - page 544 / 833
» A comprehensive combination framework
Sort
View
ICTCS
2001
Springer
15 years 11 months ago
Subtyping and Matching for Mobile Objects
In [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli a...
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
IJCNN
2000
IEEE
15 years 11 months ago
A Neural Support Vector Network Architecture with Adaptive Kernels
In the Support Vector Machines (SVM) framework, the positive-definite kernel can be seen as representing a fixed similarity measure between two patterns, and a discriminant func...
Pascal Vincent, Yoshua Bengio
COMPGEOM
2000
ACM
15 years 11 months ago
Look - a Lazy Object-Oriented Kernel for geometric computation
In this paper we describe and discuss a new kernel design for geometric computation in the plane. It combines different kinds of floating-point filter techniques and a lazy eval...
Stefan Funke, Kurt Mehlhorn
ECAI
2000
Springer
15 years 11 months ago
Turning High-Level Plans into Robot Programs in Uncertain Domains
The actions of a robot like lifting an object are often best thought of as low-level processes with uncertain outcome. A highlevel robot plan can be seen as a description of a task...
Henrik Grosskreutz, Gerhard Lakemeyer
AGP
1999
IEEE
15 years 11 months ago
Extending clp(FD) by Negative Constraint Solving
In this paper we present a novel extension to the constraint logic programming on Finite Domains (clp(FD)) which combines the usual clp(FD) primitive constraint X in range with a ...
Antonio J. Fernández, Patricia M. Hill