114 search results - page 22 / 23 » Mind Change Complexity of Learning Logic Programs |
ITICSE
1999
ACM
13 years 9 months ago
1999
ACM
This paper shows how a multimedia multi-framed simulation generator was developed. A technique of recording a sequence of steps and playing them back as an animation overcomes the...
JAIR
2008
13 years 4 months ago
2008
Experience in the physical sciences suggests that the only realistic means of understanding complex systems is through the use of mathematical models. Typically, this has come to ...
PERCOM
2007
ACM
13 years 4 months ago
2007
ACM
In wireless sensor networks, poor performance or unexpected behavior may be experienced for several reasons, such as trivial deterioration of sensing hardware, unsatisfactory impl...
VMCAI
2004
Springer
13 years 10 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...
SSDBM
2003
IEEE
13 years 10 months ago
2003
IEEE
Life science researchers frequently need to query large protein data sets in a variety of different ways. Protein data sets have a rich structure that includes its primary structu...