Sciweavers

3573 search results - page 321 / 715
» Reasoning about Codata
Sort
View
ICECCS
2009
IEEE
129views Hardware» more  ICECCS 2009»
15 years 11 months ago
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems
—The CONNECT European project that started in February 2009 aims at dropping the interoperability barrier faced by today’s distributed systems. It does so by adopting a revolut...
Valérie Issarny, Bernhard Steffen, Bengt Jo...
120
Voted
ICRA
2009
IEEE
119views Robotics» more  ICRA 2009»
15 years 11 months ago
Dynamically diverse legged locomotion for rough terrain
— In this video, we demonstrate the effectiveness of a kinodynamic planning strategy that allows a high-impedance quadruped to operate across a variety of rough terrain. At one e...
Katie Byl, Russ Tedrake
IROS
2009
IEEE
159views Robotics» more  IROS 2009»
15 years 11 months ago
Prioritized optimization for task-space control
— We introduce an optimization framework called prioritized optimization control, in which a nested sequence of objectives are optimized so as not to conflict with higher-priori...
Martin de Lasa, Aaron Hertzmann
ISPW
2009
IEEE
15 years 11 months ago
A Pattern for Modeling Rework in Software Development Processes
It is usual for work completed at one point in a software development process to be revisited, or reworked, at a later point. Such rework is informally understood, but if we hope t...
Aaron G. Cass, Leon J. Osterweil, Alexander E. Wis...
AIME
2009
Springer
15 years 11 months ago
An Ambient Intelligent Agent for Relapse and Recurrence Monitoring in Unipolar Depression
: Mental healthcare is a prospective area for applying AI techniques. For example, a computerized system could support individuals with a history of depression in maintaining their...
Azizi Ab Aziz, Michel C. A. Klein, Jan Treur