Sciweavers

5799 search results - page 179 / 1160
» Health-OS: : a position paper
Sort
View
HICSS
1994
IEEE
105views Biometrics» more  HICSS 1994»
15 years 10 months ago
Towards a Design Methodology for Decision Support Systems
This paper proposes the use of process models for DSS design. The kind of process models suggested are task structures and decision structures with simple graphical syntax and sem...
J. J. Zuurbier, J. N. Brinkkemper, Margriet Offere...
ICRA
1994
IEEE
85views Robotics» more  ICRA 1994»
15 years 10 months ago
Estimation of Environment Forces and Rigid-Body Velocities Using Observers
This paper presents an observer-based approach to the determination of environment forces acting on a rigid body. Actuation forces, measured positions and orientations and identi ...
P. J. Hacksel, S. E. Salcudean
CRYPTO
1992
Springer
154views Cryptology» more  CRYPTO 1992»
15 years 10 months ago
Massively Parallel Computation of Discrete Logarithms
Numerous cryptosystems have been designed to be secure under the assumption that the computation of discrete logarithms is infeasible. This paper reports on an aggressive attempt ...
Daniel M. Gordon, Kevin S. McCurley
VL
1990
IEEE
110views Visual Languages» more  VL 1990»
15 years 10 months ago
A Declarative Formalism for Specifying Graphical Layout
This paper describes a new approach to specifying graphical layouts of arbitrary objects, which is based on a TEXlike notation. Our simplest scheme offers specifications similar t...
Volker Haarslev, Ralf Möller
AAIM
2007
Springer
106views Algorithms» more  AAIM 2007»
15 years 10 months ago
A New Efficient Algorithm for Computing the Longest Common Subsequence
Abstract. The Longest Common Subsequence (LCS) problem is a classic and well-studied problem in computer science. The LCS problem is a common task in DNA sequence analysis with man...
M. Sohel Rahman, Costas S. Iliopoulos