575 search results - page 47 / 115 » Transition systems for designing and reasoning about norms |
ICRA
2007
IEEE
15 years 5 months ago
2007
IEEE
— One of the most notable and recognizable features of robot motion is the abrupt transitions between actions in action sequences. In contrast, humans and animals perform sequenc...
168
click to vote
TASE
2011
IEEE
14 years 6 months ago
2011
IEEE
—In this paper, we present a new sketch-based system — KnitSketch, to improve the efficiency of process planning for knitting garments at an early design stage. The KnitSketch...
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
186
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
CAD
2000
Springer
14 years 11 months ago
2000
Springer
This paper describes our initial efforts to deploy a digital library to support computer-aided collaborative design. At present, this experimental testbed, The Engineering Design ...