413 search results - page 48 / 83 » On the Relation Between ID-Logic and Answer Set Programming |
BMCBI
2010
13 years 7 months ago
2010
Background: Co-evolution is the process in which two (or more) sets of orthologs exhibit a similar or correlative pattern of evolution. Co-evolution is a powerful way to learn abo...
ENTCS
2006
13 years 7 months ago
2006
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
HIS
2009
13 years 5 months ago
2009
The diversity of learning abilities between learners in the virtual classroom is wider than those in traditional classroom. It is difficult to prepare a suitable teaching material ...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
— System software strongly relies on the availability of static as well as dynamic adaptation techniques. With AspectOriented Programming (AOP) it is now possible to adapt even p...
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
We study the problem of auditing a batch of SQL queries: Given a forbidden view of a database that should have been kept confidential, a batch of queries that were posed over this ...