Sciweavers

843 search results - page 113 / 169
» Introducing the Iteration in sPBC
Sort
View
SIS
2004
15 years 7 months ago
Towards a Systematic Development of Secure Systems
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
Ruth Breu, Klaus Burger, Michael Hafner, Gerhard P...
ICSQP
1994
15 years 7 months ago
Using Strongest Postconditions to Improve Software Quality
: The cost of developing and maintaining high quality software remains at a premium. In this paper we introduce a practical approach for enhancement of software quality, based on c...
Si Pan, R. Geoff Dromey
APVIS
2009
15 years 7 months ago
Dual streamline seeding
This work introduces a novel streamline seeding technique based on dual streamlines that are orthogonal to the vector field, instead of tangential. The greedy algorithm presented ...
Olufemi Rosanwo, Christoph Petz, Steffen Prohaska,...
ICML
2010
IEEE
15 years 7 months ago
Efficient Reinforcement Learning with Multiple Reward Functions for Randomized Controlled Trial Analysis
We introduce new, efficient algorithms for value iteration with multiple reward functions and continuous state. We also give an algorithm for finding the set of all nondominated a...
Daniel J. Lizotte, Michael H. Bowling, Susan A. Mu...
ICPR
2010
IEEE
15 years 6 months ago
Hyper Least Squares and Its Applications
We present a new form of least squares (LS), called “hyperLS”, for geometric problems that frequently appear in computer vision applications. Doing rigorous error analysis, we...
Prasanna Rangarajan, Kenichi Kanatani, Hirotaka Ni...