7213 search results - page 1258 / 1443 » Automated model grouping |
188
click to vote
VL
2009
IEEE
16 years 19 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...
155
click to vote
ICRA
2009
IEEE
16 years 17 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...
174
click to vote
LICS
2009
IEEE
16 years 16 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...
173
click to vote
LICS
2009
IEEE
16 years 16 days ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
157
click to vote
LICS
2009
IEEE
16 years 16 days ago
2009
IEEE
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...