Sciweavers

1224 search results - page 49 / 245
» Framework extraction with domain analysis
Sort
View
119
Voted
IJCAI
1989
15 years 5 months ago
Towards a General Framework for Composing Disjunctive and Iterative Macro-operators
Inducing disjunctive and iterative macro-operators from empirical problem-solving traces provides a more powerful knowledge compilation method than simple linear macro-operators. ...
Peter Shell, Jaime G. Carbonell
192
Voted

Publication
400views
14 years 10 months ago
Partitioning Histopathological Images: An Integrated Framework for Supervised Color-Texture Segmentation and Cell Splitting
For quantitative analysis of histopathological images, such as the lymphoma grading systems, quantification of features is usually carried out on single cells before categorizing...
Hui Kong, Metin Gurcan, and Kamel Belkacem-Boussai...
115
Voted
SAS
2007
Springer
106views Formal Methods» more  SAS 2007»
15 years 10 months ago
Guided Static Analysis
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
Denis Gopan, Thomas W. Reps
124
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
Improving the reliability of mobile software systems through continuous analysis and proactive reconfiguration
Most of the current software reliability analysis approaches are geared to traditional desktop software systems, which are relatively stable and static throughout their execution....
Sam Malek, Roshanak Roshandel, David Kilgore, Ibra...
ICMI
2010
Springer
172views Biometrics» more  ICMI 2010»
15 years 1 months ago
Modelling and analyzing multimodal dyadic interactions using social networks
Social network analysis became a common technique used to model and quantify the properties of social interactions. In this paper, we propose an integrated framework to explore th...
Sergio Escalera, Petia Radeva, Jordi Vitrià...