Sciweavers

6906 search results - page 1190 / 1382
» An algorithm for modelling key terms
Sort
View
ICSE
2008
IEEE-ACM
16 years 4 months ago
Calysto: scalable and precise extended static checking
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
Domagoj Babic, Alan J. Hu
115
Voted
SIGSOFT
2006
ACM
16 years 4 months ago
Local analysis of atomicity sphere for B2B collaboration
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu
ISBI
2008
IEEE
16 years 4 months ago
Knee reconstruction through efficient linear programming
In this paper we propose a novel method to recover the 3D shape of the knee and of the prosthesis for the patients that have undergone total knee replacement surgery. We address t...
Mihai Sardarescu, Nikos Paragios, Nikos Komodakis,...
ISBI
2008
IEEE
16 years 4 months ago
Variational B-spline level-set method for fast image segmentation
In the field of image segmentation, most of level-set-based active contour approaches are based on a discrete representation of the associated implicit function. We present in thi...
Olivier Bernard, Denis Friboulet, Philippe Th&eacu...
WWW
2009
ACM
16 years 4 months ago
Large scale multi-label classification via metalabeler
The explosion of online content has made the management of such content non-trivial. Web-related tasks such as web page categorization, news filtering, query categorization, tag r...
Lei Tang, Suju Rajan, Vijay K. Narayanan
« Prev « First page 1190 / 1382 Last » Next »