Sciweavers

8816 search results - page 300 / 1764
» Interactive Modeling of Plants
Sort
View
272
Voted
FIW
2009
166views Communications» more  FIW 2009»
15 years 4 months ago
Feature Interactions in a Software Product Line for E-voting
A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of si...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
JMLR
2010
136views more  JMLR 2010»
15 years 1 months ago
Conceptual Imitation Learning: An Application to Human-robot Interaction
In general, imitation is imprecisely used to address different levels of social learning from high level knowledge transfer to low level regeneration of motor commands. However, t...
Hossein Hajimirsadeghi, Majid Nili Ahmadabadi, Mos...
AI
2011
Springer
14 years 10 months ago
Decentralized MDPs with sparse interactions
In this work, we explore how local interactions can simplify the process of decision-making in multiagent systems, particularly in multirobot problems. We review a recent decision-...
Francisco S. Melo, Manuela M. Veloso
TOG
2012
170views Communications» more  TOG 2012»
13 years 9 months ago
Interactive editing of deformable simulations
We present an interactive animation editor for complex deformable object animations. Given an existing animation, the artist directly manipulates the deformable body at any time f...
Jernej Barbic, Funshing Sin, Eitan Grinspun
CADE
2004
Springer
16 years 7 months ago
Experiments on Supporting Interactive Proof Using Resolution
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
Jia Meng, Lawrence C. Paulson