Sciweavers

1653 search results - page 196 / 331
» Directed tree-width examples
Sort
View
149
Voted
ICLP
1999
Springer
15 years 9 months ago
Bounded Nondeterminism of Logic Programs
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
Dino Pedreschi, Salvatore Ruggieri
DEXAW
1998
IEEE
131views Database» more  DEXAW 1998»
15 years 9 months ago
A Reference Model and Software Support for Bid Preparation in Supply Chains in the Construction Industry
This paper describes two results of the European ESPRIT project no. 22828 ,,CSCCM", which aims at optimising the bidding process of small and medium companies in the construc...
Mathias Krömker, Frithjof Weber, Viktoria Ste...
122
Voted
DIS
1998
Springer
15 years 9 months ago
Development of SDS2: Smart Discovery System for Simultaneous Equation Systems
SDS2 is a system to discover and identify the quantitative model consisting of simultaneous equations re ecting the rst principles underlying the objective process through experi...
Takashi Washio, Hiroshi Motoda
CVPR
1997
IEEE
15 years 9 months ago
Area and Length Minimizing Flows for Shape Segmentation
— A number of active contour models have been proposed that unify the curve evolution framework with classical energy minimization techniques for segmentation, such as snakes. Th...
Kaleem Siddiqi, Steven W. Zucker, Yves Béru...
158
Voted
INFOCOM
1997
IEEE
15 years 9 months ago
Integrated Rate and Credit Feedback Control for ABR Service in ATM Networks
We propose a ow-control scheme that combines the merits of credit- and rate-based ow-control schemes by applying direct control over both bandwidth and bu er resources. The goal...
Xi Zhang, Kang G. Shin, Qin Zheng