Sciweavers

878 search results - page 56 / 176
» Choice and development
Sort
View
BPM
2000
Springer
106views Business» more  BPM 2000»
15 years 8 months ago
Using Formal Analysis Techniques in Business Process Redesign
Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the (potential) contribution of these formal analysis tec...
Kees M. van Hee, Hajo A. Reijers
ICCVW
1999
Springer
15 years 8 months ago
Bundle Adjustment - A Modern Synthesis
This paper is a survey of the theory and methods of photogrammetric bundle adjustment, aimed at potential implementors in the computer vision community. Bundle adjustment is the p...
Bill Triggs, Philip F. McLauchlan, Richard I. Hart...
ICRA
1998
IEEE
100views Robotics» more  ICRA 1998»
15 years 8 months ago
Two Methods for Interpolating Rigid Body Motions
This paper investigates methods for computing a smooth motion that interpolates a given set of positions and orientations of a rigid body. To make the interpolation independent of...
Milos Zefran, Vijay Kumar
IPPS
1998
IEEE
15 years 8 months ago
A Mapping Methodology for Designing Software Task Pipelines for Embedded Signal Processing
Abstract. In this paper, we present a methodology for mapping an Embedded Signal Processing ESP application onto HPC platforms such that the throughput performance is maximized. Pr...
Myungho Lee, Wenheng Liu, Viktor K. Prasanna
IEAAIE
1998
Springer
15 years 8 months ago
Complexity and Cognitive Computing
Abstract. This paper has as main goal to develop a hybrid expert system to minimize some of the complexity problems related to arti cial intelligence eld. For instance, we can ment...
Lourdes Mattos Brasil, Fernando Mendes de Azevedo,...