8587 search results - page 431 / 1718 » Interactive dynamic abstraction |
205
click to vote
FAC
2010
15 years 4 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
166
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- This paper extends the method of virtual constraints and hybrid zero dynamics, developed for rigid robots with a single degree of underactuation, to MABEL, a planar bipe...
202
click to vote
TSMC
2010
15 years 1 months ago
2010
Abstract--This paper considers a second-order consensus problem for multiagent systems with nonlinear dynamics and directed topologies where each agent is governed by both position...
163
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
Drawn from empirical studies on spatial cognition, this work explores ways of dynamically integrating others' perspectives and incorporating different views into a single int...
159
click to vote
CSCWD
2001
Springer
15 years 11 months ago
2001
Springer
Collaborative design is challenging because strong interdependencies between design issues make it difficult to converge on a single design that satisfies these dependencies and i...