Sciweavers

8766 search results - page 1456 / 1754
» Functional logic programming
Sort
View
123
Voted
ICRA
2008
IEEE
145views Robotics» more  ICRA 2008»
15 years 10 months ago
Acquiring change models for sensor-based robot manipulation
—The aim of this paper is to enable a programmer to easily employ external sensors for flexible robot manipulation. We describe a general approach to determine the relation betwe...
Jan Deiterding, Dominik Henrich
121
Voted
ICSM
2008
IEEE
15 years 10 months ago
Non-invasive and non-scattered annotations for more robust pointcuts
Annotations are often mentioned as a potential alternative to tackle the fragile nature of AspectJ pointcuts. However, annotations themselves can be considered crosscutting elemen...
Leonardo Silva, Samuel Domingues, Marco Tulio de O...
103
Voted
ICTAI
2008
IEEE
15 years 10 months ago
Finding Good Starting Points for Solving Structured and Unstructured Nonlinear Constrained Optimization Problems
In this paper, we develop heuristics for finding good starting points when solving large-scale nonlinear constrained optimization problems (COPs). We focus on nonlinear programmi...
Soomin Lee, Benjamin W. Wah
128
Voted
IPPS
2008
IEEE
15 years 10 months ago
Supporting high performance bioinformatics flat-file data processing using indices
As an essential part of in vitro analysis, biological database query has become more and more important in the research process. A few challenges that are specific to bioinformat...
Xuan Zhang, Gagan Agrawal
147
Voted
PDP
2008
IEEE
15 years 10 months ago
Type Safe Algorithmic Skeletons
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...
Denis Caromel, Ludovic Henrio, Mario Leyton
« Prev « First page 1456 / 1754 Last » Next »