3856 search results - page 655 / 772 » Models for Automated Earthmoving |
161
Voted
SEFM
2009
IEEE
16 years 26 days ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
171
click to vote
TOOLS
2009
IEEE
16 years 26 days ago
2009
IEEE
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
189
click to vote
VL
2009
IEEE
16 years 26 days ago
2009
IEEE
Euler diagrams form the basis of several visual modelling notations, including statecharts and constraint diagrams. Recently, various techniques for automated Euler diagram drawin...
156
Voted
ICRA
2009
IEEE
16 years 24 days ago
2009
IEEE
— This paper addresses the use of robotic tissue manipulation in medical needle insertion procedures to improve targeting accuracy and to help avoid damaging sensitive tissues. T...
176
Voted
LICS
2009
IEEE
16 years 23 days ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...