Sciweavers

322 search results - page 41 / 65
» An Example of an Automatic Differentiation-Based Modelling S...
Sort
View
IANDC
2008
131views more  IANDC 2008»
14 years 10 months ago
Termination of just/fair computations in term rewriting
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
Salvador Lucas, José Meseguer
IBPRIA
2005
Springer
15 years 3 months ago
A Learning Framework for Object Recognition on Image Understanding
Abstract. In this paper an object learning system for image understanding is proposed. The knowledge acquisition system is designed as a supervised learning task, which emphasises ...
Xavier Muñoz, Anna Bosch, Joan Martí...
NPAR
2010
ACM
15 years 3 months ago
Compact explosion diagrams
This paper presents a system to automatically generate compact explosion diagrams. Inspired by handmade illustrations, our approach reduces the complexity of an explosion diagram ...
Markus Tatzgern, Denis Kalkofen, Dieter Schmalstie...
ICRA
2008
IEEE
136views Robotics» more  ICRA 2008»
15 years 4 months ago
Modeling multi-robot interaction using generalized occupancy grids, with application to reducing spatial interference
— As part of a program to find methods of reducing spatial interference in multi-robot systems, we propose the Interaction Grid (IG), a generalization of the Occupancy Grid that...
Mauricio Zuluaga, Richard T. Vaughan
ICECCS
2010
IEEE
162views Hardware» more  ICECCS 2010»
14 years 10 months ago
A Tile-Based Approach for Self-Assembling Service Compositions
—This paper presents a novel approach to the design of self-adaptive service-oriented applications based on a new model called service tiles. The approach allows designers to dev...
Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furi...