Sciweavers

1003 search results - page 48 / 201
» Proposal of Generalized Rule Programming Model
Sort
View
INFOCOM
2010
IEEE
13 years 7 months ago
Linear Programming Models For Multi-Channel P2P Streaming Systems
Abstract—Most of the commercial P2P video streaming deployments support hundreds of channels and are referred to as multichannel systems. Measurement studies show that bandwidth r...
Miao Wang, Lisong Xu, Byrav Ramamurthy
WSC
2008
13 years 11 months ago
Unifying simulation and optimization of strategic sourcing and transportation
Proposed and developed is a framework and an extensible library of simulation modeling components for strategic sourcing and transportation. The components include items, supplier...
Malak Al-Nory, Alexander Brodsky
LPNMR
2004
Springer
14 years 2 months ago
Semantics for Dynamic Logic Programming: A Principle-Based Approach
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the que...
José Júlio Alferes, Federico Banti, ...
CVPR
2012
IEEE
11 years 11 months ago
A tiered move-making algorithm for general pairwise MRFs
A large number of problems in computer vision can be modeled as energy minimization problems in a markov random field (MRF) framework. Many methods have been developed over the y...
Vibhav Vineet, Jonathan Warrell, Philip H. S. Torr
CORR
2000
Springer
144views Education» more  CORR 2000»
13 years 9 months ago
Sequence-Based Abstract Interpretation of Prolog
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hen...