3362 search results - page 383 / 673 » A definition of subjective possibility |
174
click to vote
OOPSLA
2004
Springer
16 years 2 days ago
2004
Springer
Programmers tend to understand programs by thinking of concrete examples. Example Centric Programming seeks to add IDE support for examples throughout the process of programming. ...
185
Voted
PPDP
2004
Springer
16 years 2 days ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
166
click to vote
SAS
2004
Springer
16 years 2 days ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
184
click to vote
SIGADA
2004
Springer
16 years 2 days ago
2004
Springer
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
179
click to vote
VIZSEC
2004
Springer
16 years 2 days ago
2004
Springer
The analysis of the vast storehouse of email content accumulated or produced by individual users has received relatively little attention other than for specific tasks such as spa...