4126 search results - page 341 / 826 » Set based logic programming |
117
click to vote
PASTE
2004
ACM
15 years 10 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
130
click to vote
SP
2000
IEEE
15 years 8 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
136
Voted
CP
2008
Springer
15 years 6 months ago
2008
Springer
Constraint programming often involves global constraints, for which various custom filtering algorithms have been published. This work presents a semi-automatic generation of CHR s...
122
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
This paper applies a mix of aspect-oriented programming (AOP) and logic meta-programming (LMP) to tackle some concerns of/in legacy environments. We present four different problem...
143
click to vote
IJCAI
2003
15 years 6 months ago
2003
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...