Sciweavers

2432 search results - page 410 / 487
» Using simple abstraction to reinvent computing for paralleli...
Sort
View
ECCV
1998
Springer
15 years 11 months ago
Study of Dynamical Processes with Tensor-Based Spatiotemporal Image Processing Techniques
Abstract. Image sequence processing techniques are used to study exchange, growth, and transport processes and to tackle key questions in environmental physics and biology. These a...
Bernd Jähne, Horst W. Haussecker, Hanno Schar...
RECOMB
2008
Springer
15 years 10 months ago
Hurdles Hardly Have to Be Heeded
Abstract. As data about genomic architecture accumulates, genomic rearrangements have attracted increasing attention. One of the main rearrangement mechanisms, inversions (also cal...
Krister M. Swenson, Yu Lin, Vaibhav Rajan, Bernard...
ICSE
2008
IEEE-ACM
15 years 9 months ago
CCVisu: automatic visual software decomposition
Understanding the structure of large existing (and evolving) software systems is a major challenge for software engineers. In reverse engineering, we aim to compute, for a given s...
Dirk Beyer
SOFSEM
2010
Springer
15 years 6 months ago
Practically Applicable Formal Methods
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
Jedrzej Fulara, Krzysztof Jakubczyk
IROS
2009
IEEE
199views Robotics» more  IROS 2009»
15 years 4 months ago
A controller for dynamic walking in bipedal robots
Abstract— This paper presents an approach for the closedloop control of actuated biped that allows natural looking and energy efficient walking. Rather than prescribe kinematic ...
David J. Braun, Michael Goldfarb