Sciweavers

2646 search results - page 387 / 530
» Local Type Inference
Sort
View
95
Voted
CHI
2000
ACM
15 years 5 months ago
Storytelling with digital photographs
Photographs play a central role in many types of informal storytelling. This paper describes an easy-to-use device that enables digital photos to be used in a manner similar to pr...
Marko Balabanovic, Lonny L. Chu, Gregory J. Wolff
133
Voted
ACPC
1999
Springer
15 years 5 months ago
Non-standard Parallel Solution Strategies for Distributed Sparse Linear Systems
Abstract. A number of techniques are described for solving sparse linear systems on parallel platforms. The general approach used is a domaindecomposition type method in which a pr...
Yousef Saad, Masha Sosonkina
ICRA
1998
IEEE
163views Robotics» more  ICRA 1998»
15 years 5 months ago
A Multi-Loop Robust Navigation Architecture for Mobile Robots
This paper describes a multi-loop, modular navigation architecture for mobile robots whose structure allows the execution of most types of navigation tasks in a highly robust mann...
José Castro, Vítor Santos, M. Isabel...
IMR
1998
Springer
15 years 5 months ago
Reliable Whisker Weaving via Curve Contraction
Whisker Weaving is an advancing front algorithm for all-hexahedral mesh generation. It uses global information derived from grouping the mesh dual into surfaces, the STC, to constr...
Nathan T. Folwell, Scott A. Mitchell
98
Voted
MICRO
1990
IEEE
147views Hardware» more  MICRO 1990»
15 years 4 months ago
Motivation and framework for using genetic algorithms for microcode compaction
Genetic algorithms are a robust adaptive optimization technique based on a biological paradigm. They perform efficient search on poorly-defined spaces by maintaining an ordered po...
Steven J. Beaty, Darrell Whitley, Gearold Johnson