Sciweavers

322 search results - page 21 / 65
» Visual Specification of Spatio-Temporal Developments
Sort
View
JCP
2008
116views more  JCP 2008»
13 years 7 months ago
Formal Verification and Visualization of Security Policies
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
Luay A. Wahsheh, Daniel Conte de Leon, Jim Alves-F...
SG
2010
Springer
13 years 5 months ago
Event Line View: Interactive Visual Analysis of Irregular Time-Dependent Data
Abstract. In this paper we present a novel approach to visualize irregularly occurring events. We introduce the event line view designed specifically for such events data (a subset...
Kresimir Matkovic, Alan Lez, Denis Gracanin, Andre...
IJON
2008
168views more  IJON 2008»
13 years 7 months ago
Spatial relationship representation for visual object searching
Image representation has been a key issue in vision research for many years. In order to represent various local image patterns or objects effectively, it is important to study th...
Jun Miao, Lijuan Duan, Laiyun Qing, Wen Gao, Xilin...
EKNOW
2009
13 years 5 months ago
Visual Middle-Out Modeling of Problem Spaces
Modeling is a complex and central activity in many domains. Domain experts and designers usually work by drawing and create models from the middle-out; however, visual and middle-...
Andrea Valente
BMCBI
2011
13 years 2 months ago
OrthoInspector: comprehensive orthology analysis and visual exploration
Background: The accurate determination of orthology and inparalogy relationships is essential for comparative sequence analysis, functional gene annotation and evolutionary studie...
Benjamin Linard, Julie D. Thompson, Olivier Poch, ...