1142 search results - page 3 / 229 » Approximability of Clausal Constraints |
175
click to vote
APLAS
2011
ACM
14 years 5 months ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
148
click to vote
JSAI
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a proposal for the integration of information structure in a unification-based grammar of Danish. Three information structure features – topic, focus and bac...
174
Voted
ICLP
2001
Springer
15 years 10 months ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
166
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We address the problem of minimizing a convex function over the space of large matrices with low rank. While this optimization problem is hard in general, we propose an efficient...
165
Voted
ILP
2007
Springer
15 years 12 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...