Sciweavers

2339 search results - page 212 / 468
» Models and Tools for Mulan Applications
Sort
View
SCP
2010
96views more  SCP 2010»
15 years 5 months ago
Enforcing structural regularities in software using IntensiVE
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
Johan Brichau, Andy Kellens, Sergio Castro, Theo D...
SPIN
2010
Springer
15 years 5 months ago
Analysing Mu-Calculus Properties of Pushdown Systems
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
Matthew Hague, C.-H. Luke Ong
IEAAIE
2010
Springer
15 years 4 months ago
Using Remote Data Mining on LIDAR and Imagery Fusion Data to Develop Land Cover Maps
Remote sensing based on imagery has traditionally been the main tool used to extract land uses and land cover (LULC) maps. However, more powerful tools are needed in order to fulfi...
Jorge García-Gutiérrez, Francisco Ma...
WKDD
2010
CPS
238views Data Mining» more  WKDD 2010»
15 years 4 months ago
3D Scientific Data Mining in Ion Trajectories
In physics, structure of glass and ion trajectories are essentially based on statistical analysis of data acquired through experimental measurement and computer simulation [1, 2]. ...
J. M. Sharif, M. Mahadi Abdul Jamil, Md. Asri Ngad...
CVPR
2007
IEEE
16 years 8 months ago
Using Group Prior to Identify People in Consumer Images
While face recognition techniques have rapidly advanced in the last few years, most of the work is in the domain of security applications. For consumer imaging applications, perso...
Andrew C. Gallagher, Tsuhan Chen