Sciweavers

615 search results - page 82 / 123
» Beta Reduction Constraints
Sort
View
129
Voted
AIPS
2009
15 years 1 months ago
Flexible Execution of Plans with Choice
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...
Patrick R. Conrad, Julie A. Shah, Brian C. William...
JAR
2006
236views more  JAR 2006»
15 years 20 days ago
Deciding Boolean Algebra with Presburger Arithmetic
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard
130
Voted
OSN
2007
185views more  OSN 2007»
15 years 5 days ago
Comparison of ILP formulations for the RWA problem
— We present a review of the various integer linear programming (ILP) formulations that have been proposed for the routing and wavelength assignment problem in WDM optical networ...
Brigitte Jaumard, Christophe Meyer, B. Thiongane
122
Voted
CVPR
2009
IEEE
16 years 7 months ago
A Similarity Measure Between Vector Sequences with Application to Handwritten Word Image Retrieval
This article proposes a novel similarity measure between vector sequences. Recently, a model-based approach was introduced to address this issue. It consists in modeling each se...
José A. Rodríguez-Serrano, Florent P...
100
Voted
ICIP
2002
IEEE
16 years 2 months ago
Optimal bit allocation for low bit rate video streaming applications
Current rate control schemes in video coding standards do not have efficient frame-level bit allocation because of the inherent constraints in real-time encoding. In this paper, w...
Jianfei Cai, Zhihai He, Chang Wen Chen