437 search results - page 47 / 88 » Automatic Generation of Implied Constraints |
107
click to vote
CI
2000
15 years 14 days ago
2000
This paper discusses a fundamental problem in natural language generation: how to organize the content of a text in a coherent and natural way. In this research, we set out to det...
119
Voted
CSL
2002
Springer
15 years 14 days ago
2002
Springer
A spoken language generation system has been developed that learns to describe objects in computer-generated visual scenes. The system is trained by a `show-and-tell' procedu...
130
Voted
IANDC
2008
15 years 21 days ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
118
Voted
ARCS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Many-core processor architectures require scalable solutions that reflect the locality and power constraints of future generations of technology. This paper presents a CM...
96
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...