2864 search results - page 307 / 573 » Constraint Programming in OPL |
145
click to vote
ACMSE
2006
ACM
15 years 9 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
139
click to vote
CLIMA
2010
15 years 4 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
125
click to vote
SAC
2006
ACM
15 years 2 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
106
click to vote
VLSID
2007
IEEE
16 years 3 months ago
2007
IEEE
? We give a new recursive rounding linear programming (LP) solution to the problem of N-detect test minimzation. This is a polynomialtime solution that closely approximates the exa...
146
click to vote
ICASSP
2009
IEEE
15 years 9 months ago
2009
IEEE
We introduce a model for extractive meeting summarization based on the hypothesis that utterances convey bits of information, or concepts. Using keyphrases as concepts weighted by...