Sciweavers

746 search results - page 55 / 150
» Formal Analysis of UML-Based Designs
Sort
View
109
Voted
HASE
2007
IEEE
15 years 3 months ago
Behavioral Fault Modeling for Model-based Safety Analysis
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
Anjali Joshi, Mats Per Erik Heimdahl
113
Voted
KDD
2002
ACM
193views Data Mining» more  KDD 2002»
16 years 2 months ago
Query, analysis, and visualization of hierarchically structured data using Polaris
In the last several years, large OLAP databases have become common in a variety of applications such as corporate data warehouses and scientific computing. To support interactive ...
Chris Stolte, Diane Tang, Pat Hanrahan
ISSRE
2000
IEEE
15 years 6 months ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
ECCV
2008
Springer
16 years 3 months ago
Unified Frequency Domain Analysis of Lightfield Cameras
Abstract. This paper presents a theory that encompasses both "plenoptic" (microlens based) and "heterodyning" (mask based) cameras in a single frequency-domain ...
Todor Georgiev, Chintan Intwala, Sevkit Babakan, A...
PARMA
2004
136views Database» more  PARMA 2004»
15 years 3 months ago
Using Classification and Visualization on Pattern Databases for Gene Expression Data Analysis
Abstract. We are designing new data mining techniques on gene expression data, more precisely inductive querying techniques that extract a priori interesting bi-sets, i.e., sets of...
Céline Robardet, Ruggero G. Pensa, Jé...