1455 search results - page 150 / 291 » Programming in Logic with Constraints for Natural Language P... |
SIGMOD
2010
ACM
14 years 2 months ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
VMCAI
2004
Springer
14 years 2 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
PKDD
2000
Springer
14 years 25 days ago
2000
Springer
Although there is a growing need for multi-relational data mining solutions in KDD, the use of obvious candidates from the field of Inductive Logic Programming (ILP) has been limit...
ESWS
2007
Springer
14 years 3 months ago
2007
Springer
WSML is an ontology language speciļ¬cally tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
UML
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Proponents of aspect orientation have successfully seeded the impression that aspectsālike objectsāare so fundamental a notion that they should pervade all phases and...