Sciweavers

615 search results - page 82 / 123
» Beta Reduction Constraints
Sort
View
AIPS
2009
14 years 11 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»
14 years 10 months 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
OSN
2007
185views more  OSN 2007»
14 years 9 months 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
CVPR
2009
IEEE
16 years 5 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...
ICIP
2002
IEEE
15 years 11 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