Sciweavers

735 search results - page 47 / 147
» Procedural Modeling of Interconnected Structures
Sort
View
IJCAI
2007
13 years 10 months ago
Building Structure into Local Search for SAT
Local search procedures for solving satisfiability problems have attracted considerable attention since the development of GSAT in 1992. However, recent work indicates that for m...
Duc Nghia Pham, John Thornton, Abdul Sattar
CORR
2010
Springer
167views Education» more  CORR 2010»
13 years 9 months ago
Network Flow Algorithms for Structured Sparsity
We consider a class of learning problems that involve a structured sparsityinducing norm defined as the sum of -norms over groups of variables. Whereas a lot of effort has been pu...
Julien Mairal, Rodolphe Jenatton, Guillaume Obozin...
COMCOM
2004
117views more  COMCOM 2004»
13 years 8 months ago
The case for interdomain dynamic QoS-based service negotiation in the internet
The evolution of the Internet towards a global infrastructure for real time voice and video applications involves providing stringent Quality of Service (QoS) levels. Although som...
Carlos Alberto Kamienski, Djamel Sadok
CORR
2010
Springer
126views Education» more  CORR 2010»
13 years 9 months ago
Extending scientific computing system with structural quantum programming capabilities
We present the basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming langua...
P. Gawron, Jerzy Klamka, J. A. Miszczak, Ryszard W...
CVPR
1999
IEEE
14 years 10 months ago
Deformable Template and Distribution Mixture-Based Data Modeling for the Endocardial Contour Tracking in an Echographic Sequence
We1 present a new method to shape-based segmentation of deformable anatomical structures in medical images and validate this approach by detecting and tracking the endocardial bor...
Max Mignotte, Jean Meunier