16216 search results - page 375 / 3244 » Effective Modeling with Constraints |
175
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper analyzes the behavior of interconnects in the highly structured environment of a network-on-chip (NoC). Two distinct classes of wires are considered, namely links be...
202
click to vote
FCT
2005
Springer
16 years 1 months ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
173
click to vote
FLAIRS
2008
15 years 10 months ago
2008
This paper discusses how numerically imprecise information can be modelled and how a risk evaluation process can be elaborated by integrating procedures for numerically imprecise ...
219
click to vote
SIGDIAL
2010
15 years 5 months ago
2010
This paper introduces a new dialogue management framework for goal-directed conversations. A declarative specification defines the domain-specific elements and guides the dialogue...
188
click to vote
CP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Constraint satisfaction problems provide strong formalism for modeling variety of real life problems. This paper presents a work currently in progress of which the goal i...