Sciweavers

1785 search results - page 208 / 357
» Framework of Agile Patterns
Sort
View
178
Voted
FORTE
2009
15 years 2 months ago
A Model-Checking Approach for Service Component Architectures
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
João Abreu, Franco Mazzanti, José Lu...
ICIP
2009
IEEE
15 years 2 months ago
Cat face detection with two heterogeneous features
In this paper, we propose a generic and efficient object detection framework based on two heterogeneous features and demonstrate effectiveness of our method for a cat face detecti...
Tatsuo Kozakaya, Satoshi Ito, Susumu Kubota, Osamu...
CORR
2011
Springer
150views Education» more  CORR 2011»
14 years 11 months ago
Total variation regularization for fMRI-based prediction of behaviour
—While medical imaging typically provides massive amounts of data, the extraction of relevant information for predictive diagnosis remains a difficult challenge. Functional MRI ...
Vincent Michel, Alexandre Gramfort, Gaël Varo...
JAISE
2011
238views more  JAISE 2011»
14 years 11 months ago
A bio-inspired system model for interactive surveillance applications
Advances in computer vision and pattern recognition research are leading to video surveillance systems with improved scene analysis capabilities. However, up to now few works have ...
Alessio Dore, Matteo Pinasco, Lorenzo Ciardelli, C...
176
Voted
ISBI
2011
IEEE
14 years 8 months ago
Segmentation of anatomical branching structures based on texture features and graph cut
Segmentation of tree-like structure within medical imaging modalities, such as x-ray, MRI, ultrasound, etc., is an important step for analyzing branching patterns involved in many...
Tatyana Nuzhnaya, Erkang Cheng, Haibin Ling, Despi...