Sciweavers

2748 search results - page 299 / 550
» Modelling Fuzzy Sets Using Object-Oriented Techniques
Sort
View
PVLDB
2008
108views more  PVLDB 2008»
15 years 4 months ago
Taming verification hardness: an efficient algorithm for testing subgraph isomorphism
Graphs are widely used to model complicated data semantics in many applications. In this paper, we aim to develop efficient techniques to retrieve graphs, containing a given query...
Haichuan Shang, Ying Zhang, Xuemin Lin, Jeffrey Xu...
ACSAC
2004
IEEE
15 years 8 months ago
RACOON: Rapidly Generating User Command Data For Anomaly Detection From Customizable Templates
One of the biggest obstacles faced by user command based anomaly detection techniques is the paucity of data. Gathering command data is a slow process often spanning months or yea...
Ramkumar Chinchani, Aarthie Muthukrishnan, Madhusu...
FM
2005
Springer
112views Formal Methods» more  FM 2005»
15 years 10 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
TOG
2008
130views more  TOG 2008»
15 years 4 months ago
Quadrilateral mesh simplification
We introduce a simplification algorithm for meshes composed of quadrilateral elements. It is reminiscent of edge-collapse based methods for triangle meshes, but takes a novel appr...
Joel Daniels II, Cláudio T. Silva, Jason Sh...
IGARSS
2010
15 years 2 months ago
Support vector machines regression for estimation of forest parameters from airborne laser scanning data
Estimation of forest stand parameters from airborne laser scanning data relies on the selection of laser metrics sets and numerous field plots for model calibration. In mountainou...
Jean-Matthieu Monnet, Frédéric Berge...