Sciweavers

5100 search results - page 692 / 1020
» The Linear Complexity of a Graph
Sort
View
DALT
2005
Springer
16 years 5 days ago
Modelling Uncertainty in Agent Programming
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
Johan Kwisthout, Mehdi Dastani
DEXA
2005
Springer
77views Database» more  DEXA 2005»
16 years 5 days ago
An Optimal Skew-insensitive Join and Multi-join Algorithm for Distributed Architectures
Abstract. The development of scalable parallel database systems requires the design of efficient algorithms for the join operation which is the most frequent and expensive operatio...
Mostafa Bamha
PDCAT
2005
Springer
16 years 4 days ago
Performance Study of Nonrigid Registration Algorithm for Investigating Lung Disease on Clusters
This paper presents a performance study of a nonrigid registration algorithm for investigating lung disease on clusters. Our algorithm combines two conventional acceleration techn...
Fumihiko Ino, Yuya Tanaka, Kenichi Hagihara, Hirok...
SAS
2005
Springer
132views Formal Methods» more  SAS 2005»
16 years 4 days ago
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
Roberto Bagnara, Enric Rodríguez-Carbonell,...
ECML
2004
Springer
16 years 1 days ago
Inducing Polynomial Equations for Regression
Regression methods aim at inducing models of numeric data. While most state-of-the-art machine learning methods for regression focus on inducing piecewise regression models (regres...
Ljupco Todorovski, Peter Ljubic, Saso Dzeroski