Sciweavers

1589 search results - page 101 / 318
» Constraints with Variables' Annotations
Sort
View
CONSTRAINTS
2007
89views more  CONSTRAINTS 2007»
13 years 8 months ago
Cardinal: A Finite Sets Constraint Solver
In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECLiPSe Prolog, suitable for combinatorial problem solving by exploiting ...
Francisco Azevedo
AIEDAM
2011
13 years 3 months ago
Discovering implicit constraints in design
In familiar design domains, expert designers are able to quickly focus on “good designs”, based on constraints they have learned while exploring the design space. This ability ...
Madan Mohan Dabbeeru, Amitabha Mukerjee
ICCD
2000
IEEE
116views Hardware» more  ICCD 2000»
14 years 5 months ago
Representing and Scheduling Looping Behavior Symbolically
This paper presents a very general, exact technique for scheduling looping data-flow graphs. In contrast to the conventional technique using loop iteration variables and integer ...
Steve Haynal, Forrest Brewer
ECAI
2004
Springer
14 years 2 months ago
Modelling the Interpretation of Novel Compounds
The understanding of novel compounds is a special case in which we can explore the deep generativity of natural language understanding. We report a model, PUNC, which captures the ...
Dermot Lynott, Mark T. Keane
ACL
2009
13 years 6 months ago
Variational Inference for Grammar Induction with Prior Knowledge
Variational EM has become a popular technique in probabilistic NLP with hidden variables. Commonly, for computational tractability, we make strong independence assumptions, such a...
Shay B. Cohen, Noah A. Smith