4134 search results - page 676 / 827 » Collaborative Practice Research |
144
Voted
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
Software's increasing role creates both requirements for being able to trust it more than before, and for more people to know how much they can trust their software. A sound ...
108
Voted
KDD
1995
ACM
15 years 7 months ago
1995
ACM
The quest to nd models usefully characterizing data is a process central to the scienti c method, and has been carried out on many fronts. Researchers from an expanding number of ...
137
Voted
SAS
1991
Springer
15 years 7 months ago
1991
Springer
Specializing programs by partial evaluation is well defined extensionally, but in practice no intensional properties, such as what the specialized programs will look like or how ...
118
Voted
CSR
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L? Q2: Do there exist complete problems for a given promise ...
127
click to vote
AAAI
2007
15 years 5 months ago
2007
Artificial intelligence has begun to play a critical role in basic science research. In high energy physics, AI methods can aid precision measurements that elucidate the underlyi...