Sciweavers

851 search results - page 146 / 171
» Automatic Record Reviews
Sort
View
CPAIOR
2010
Springer
13 years 6 months ago
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
Peter J. Stuckey
GLOBECOM
2010
IEEE
13 years 5 months ago
Predicting Critical Intradomain Routing Events
Network equipments generate an overwhelming number of reports and alarms every day, but only a small fraction of these alarms require the intervention of network operators. Our goa...
Amelie Medem Kuatse, Renata Teixeira, Nicolas Usun...
ICWS
2010
IEEE
13 years 5 months ago
An Approach for Mining Web Service Composition Patterns from Execution Logs
A service-oriented application is composed of multiple web services to fulfill complex functionality that cannot be provided by individual web service. The combination of services ...
Ran Tang, Ying Zou
MICCAI
2010
Springer
13 years 5 months ago
Modeling and Segmentation of Surgical Workflow from Laparoscopic Video
Modeling and analyzing surgeries based on signals that are obtained automatically from the operating room (OR) is a field of recent interest. It can be valuable for analyzing and u...
Tobias Blum, Hubertus Feußner, Nassir Navab
SEMWEB
2010
Springer
13 years 5 months ago
Using Semantic Web Technologies for Clinical Trial Recruitment
Abstract. Clinical trials are fundamental for medical science: they provide the evaluation for new treatments and new diagnostic approaches. One of the most difficult parts of clin...
Paolo Besana, Marc Cuggia, Oussama Zekri, Annabel ...