Sciweavers

1589 search results - page 22 / 318
» Constraints with Variables' Annotations
Sort
View
COCO
2007
Springer
89views Algorithms» more  COCO 2007»
15 years 6 months ago
Testing Properties of Constraint-Graphs
We study a model of graph related formulae that we call the Constraint-Graph model. A constraintgraph is a labeled multi-graph (a graph where loops and parallel edges are allowed)...
Shirley Halevy, Oded Lachish, Ilan Newman, Dekel T...
ISSS
1999
IEEE
125views Hardware» more  ISSS 1999»
15 years 4 months ago
Real-Time Task Scheduling for a Variable Voltage Processor
This paper presents a real-time task scheduling technique with a variable voltage processor which can vary its supply voltage dynamically. Using such a processor, running tasks wi...
Takanori Okuma, Tohru Ishihara, Hiroto Yasuura
CP
2008
Springer
15 years 1 months ago
Probabilistically Estimating Backbones and Variable Bias: Experimental Overview
Backbone variables have the same assignment in all solutions to a given constraint satisfaction problem; more generally, bias represents the proportion of solutions that assign a v...
Eric I. Hsu, Christian J. Muise, J. Christopher Be...
AUTOMATICA
2007
111views more  AUTOMATICA 2007»
14 years 12 months ago
A stable block model predictive control with variable implementation horizon
— In this paper, we present a stable receding horizon model predictive control for discrete-time nonlinear systems. The standard MPC scheme is modified to incorporate (1) a bloc...
Jing Sun, Ilya V. Kolmanovsky, Reza Ghaemi, Shuhao...
79
Voted
ACL
2003
15 years 1 months ago
Self-Organizing Markov Models and Their Application to Part-of-Speech Tagging
This paper presents a method to develop a class of variable memory Markov models that have higher memory capacity than traditional (uniform memory) Markov models. The structure of...
Jin-Dong Kim, Hae-Chang Rim, Jun-ichi Tsujii