Sciweavers

2864 search results - page 6 / 573
» Constraint Programming in OPL
Sort
View
ICTAI
2010
IEEE
13 years 4 months ago
Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving
The abstract goes here.
Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato
IJSSE
2011
127views more  IJSSE 2011»
13 years 2 months ago
A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints
The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...
Sean Policarpio, Yan Zhang