Sciweavers

245 search results - page 5 / 49
» diagrams 2010
Sort
View
AROBOTS
2010
138views more  AROBOTS 2010»
13 years 5 months ago
A provably complete exploration strategy by constructing Voronoi diagrams
We present novel exploration algorithms and a control law that enables the construction of Voronoi diagrams over unknown areas using a single vehicle equipped with range sensors. T...
Jonghoek Kim, Fumin Zhang, Magnus Egerstedt
DIAGRAMS
2010
Springer
13 years 9 months ago
Diagram Editing on Interactive Displays Using Multi-touch and Pen Gestures
Creating and editing graphs and node-link diagrams by means of digital tools are crucial activities in domains such as software or business process modeling. However, these tools h...
Mathias Frisch, Jens Heydekorn, Raimund Dachselt
JUCS
2010
152views more  JUCS 2010»
13 years 2 months ago
Verification of Structural Pattern Conformance Using Logic Programming
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
Lunjin Lu, Dae-Kyoo Kim, Yuanlin Zhu, Sangsig Kim
VL
2010
IEEE
261views Visual Languages» more  VL 2010»
13 years 5 months ago
Euler Graph Transformations for Euler Diagram Layout
— Euler diagrams are frequently used for visualizing information about collections of objects and form an important component of various visual languages. Properties possessed by...
Peter Rodgers, Gem Stapleton, John Howse, Leishi Z...
CHI
2010
ACM
14 years 2 months ago
Communicating software agreement content using narrative pictograms
This paper presents narrative pictograms, diagrams designed to convey the abstract concepts of a software agreement. Narrative pictograms arose out of a need to increase the chanc...
Matthew Kay, Michael Terry