Sciweavers

613 search results - page 44 / 123
» Executable Visual Contracts
Sort
View
VISSYM
2007
14 years 1 months ago
Online Dynamic Graph Drawing
This paper presents an algorithm for drawing a sequence of graphs online. The algorithm strives to maintain the global structure of the graph and thus the user's mental map, ...
Yaniv Frishman, Ayellet Tal
PEWASUN
2007
ACM
14 years 12 days ago
Worst-case lifetime computation of a wireless sensor network by model-checking
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...
Laurent Mounier, Ludovic Samper, Wassim Znaidi
VISUALIZATION
1997
IEEE
14 years 3 months ago
GADGET: goal-oriented application design guidance for modular visualization environments
Modular Visualization Environments (MVEs) have recently been regarded as the de facto standard for scientific data visualization, mainly due to adoption of visual programming sty...
Issei Fujishiro, Yuriko Takeshima, Yoshihiko Ichik...
VL
2005
IEEE
123views Visual Languages» more  VL 2005»
14 years 4 months ago
A Visually-Specified Code Generator for Simulink/Stateflow
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...
Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizh...
MVA
2011
344views Computer Vision» more  MVA 2011»
13 years 6 months ago
Image registration for visual inspection of imprinted pharmaceutical tablets
Image registration plays a vital role in visual quality inspection of tablets with imprints. In this paper, three registration methods, based on direct matching of pixel intensitie...
Ziga Spiclin, Marko Bukovec, Franjo Pernus, Bostja...