Sciweavers

3013 search results - page 284 / 603
» Context-Oriented Domain Analysis
Sort
View
ICFEM
2010
Springer
15 years 5 months ago
Verifying Heap-Manipulating Programs with Unknown Procedure Calls
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
Shengchao Qin, Chenguang Luo, Guanhua He, Florin C...
IDEAL
2010
Springer
15 years 5 months ago
Analysing Satellite Image Time Series by Means of Pattern Mining
Abstract. Change detection in satellite image time series is an important domain with various applications in land study. Most previous works proposed to perform this detection by ...
François Petitjean, Pierre Gançarski...
IJCAT
2010
132views more  IJCAT 2010»
15 years 5 months ago
Using weaving models to automate model-driven web engineering proposals
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
Juan M. Vara, Valeria de Castro, Marcos Didonet De...
IJON
2010
181views more  IJON 2010»
15 years 5 months ago
Active learning with extremely sparse labeled examples
An active learner usually assumes there are some labeled data available based on which a moderate classifier is learned and then examines unlabeled data to manually label the mos...
Shiliang Sun, David R. Hardoon
MICCAI
2010
Springer
15 years 5 months ago
Automated Macular Pathology Diagnosis in Retinal OCT Images Using Multi-Scale Spatial Pyramid with Local Binary Patterns
We address a novel problem domain in the analysis of optical coherence tomography (OCT) images: the diagnosis of multiple macular pathologies in retinal OCT images. The goal is to ...
Yu-Ying Liu, Mei Chen, Hiroshi Ishikawa 0002, Gadi...