5415 search results - page 837 / 1083 » The Implementation of Functional Programming Languages |
167
click to vote
CP
2007
Springer
16 years 24 days ago
2007
Springer
We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint opt...
180
click to vote
ICALP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We study – within the framework of propositional proof complexity – the problem of certifying unsatisfiability of CNF formulas under the promise that any satisfiabl...
173
click to vote
ICALP
2007
Springer
16 years 24 days ago
2007
Springer
We consider the problem of constructing efficient locally decodable codes in the presence of a computationally bounded adversary. Assuming the existence of one-way functions, we c...
171
click to vote
IFIP
2007
Springer
16 years 23 days ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...
204
click to vote
SCESM
2006
ACM
16 years 17 days ago
2006
ACM
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...