2940 search results - page 555 / 588 » Relational Parametricity and Control |
KDD
1994
ACM
15 years 1 months ago
1994
ACM
We applied TETRAD II, a causal discovery program developed in Carnegie Mellon University's Department of Philosophy, to a database containing information on 204 U.S. colleges...
POPL
1994
ACM
15 years 1 months ago
1994
ACM
ions of abstract domains for logic programming: open product and generic pattern construction Agostino Cortesia; , Baudouin Le Charlierb , Pascal Van Hentenryckc aDipartimento di I...
124
click to vote
UIST
1993
ACM
15 years 1 months ago
1993
ACM
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
ECLIPSE
2007
ACM
15 years 1 months ago
2007
ACM
We present a tool that predicts whether the software under development inside an IDE has a bug. An IDE plugin performs this prediction, using the Change Classification technique t...
ECRIME
2007
15 years 1 months ago
2007
We propose a scheme that exploits scale to prevent phishing. We show that while stopping phishers from obtaining passwords is very hard, detecting the fact that a password has bee...