Sciweavers

3885 search results - page 410 / 777
» Clarifying Goal Models
Sort
View
PERSUASIVE
2009
Springer
16 years 1 months ago
Creating persuasive technologies: an eight-step design process
This paper outlines eight steps to follow as best practices in the early stages of persuasive technology design. The eight-step process, drawn from demonstrated successes in indus...
B. J. Fogg
ROBOCUP
2009
Springer
131views Robotics» more  ROBOCUP 2009»
16 years 1 months ago
Three Humanoid Soccer Platforms: Comparison and Synthesis
In this article, we provide an overview of three humanoid soccer platforms currently in use at RoboCup: 3D simulation, the humanoid Standard Platform League (SPL), and the Webots-b...
Shivaram Kalyanakrishnan, Todd Hester, Michael Qui...
SARA
2009
Springer
16 years 1 months ago
Some Interval Approximation Techniques for MINLP
MINLP problems are hard constrained optimization problems, with nonlinear constraints and mixed discrete continuous variables. They can be solved using a Branch-and-Bound scheme c...
Nicolas Berger, Laurent Granvilliers
TAMC
2009
Springer
16 years 1 months ago
Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata
Priced Probabilistic Timed Automata (PPTA) extend timed automata with cost-rates in locations and discrete probabilistic branching. The model is a natural combination of Priced Tim...
Jasper Berendsen, Taolue Chen, David N. Jansen
CDC
2008
IEEE
110views Control Systems» more  CDC 2008»
16 years 1 months ago
Multistage investments with recourse: A single-asset case with transaction costs
— We consider a financial decision problem involving dynamic investment decisions on a single risky instrument over multiple and discrete time periods. Investment returns are as...
Ufuk Topcu, Giuseppe Carlo Calafiore, Laurent El G...