2609 search results - page 278 / 522 » Models for Global Constraint Applications |
164
click to vote
DAC
1999
ACM
15 years 9 months ago
1999
ACM
This paper presents a novel approach for synthesis of analog systems from behavioral VHDL-AMS specifications. We implemented this approach in the VASE behavioral-synthesis tool. ...
147
click to vote
CONSTRAINTS
2010
15 years 2 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
138
click to vote
ACL
2011
14 years 8 months ago
2011
We present a novel approach to discovering relations and their instantiations from a collection of documents in a single domain. Our approach learns relation types by exploiting m...
164
click to vote
CONSTRAINTS
2011
14 years 8 months ago
2011
Abstract. We consider the problem of decomposing an integer matrix into a positively weighted sum of binary matrices that have the consecutive-ones property. This problem is well-k...
136
click to vote
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Linear pushbroom cameras are widely used in passive remote sensing from space as they provide high resolution images. In earth observation applications, where several pushbroom se...