3116 search results - page 406 / 624 » Positively dependent types |
210
click to vote
CHI
1997
ACM
15 years 10 months ago
1997
ACM
Animated pedagogical agents that inhabit interactive learning environments can exhibit strikingly lifelike behaviors. In addition to providing problem-solving advice in response t...
206
click to vote
AADEBUG
1997
Springer
15 years 10 months ago
1997
Springer
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of the original program with respect to a variable(s) o...
207
click to vote
LPKR
1997
Springer
15 years 10 months ago
1997
Springer
We present the system LAP (Learning Abductive Programs) that is able to learn abductive logic programs from examples and from a background abductive theory. A new type of induction...
161
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
Today's Internet contains a large portion of "dynamic" IP addresses, which are assigned to clients upon request. A significant amount of malicious activities have b...
194
click to vote
DEBS
2010
ACM
15 years 10 months ago
2010
ACM
Complex event processing for pervasive computing must deal with various sources of error. In this paper, we focus on improving complex event detector handling of several types of ...