3996 search results - page 142 / 800 » A Publish |
174
click to vote
JLP
2007
15 years 6 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
161
click to vote
AIS
2000
Springer
15 years 6 months ago
2000
Springer
: In this paper I put forward a reconstruction of the evolution of certain explanatory hypotheses on the neural basis of association and learning that are the premises of connectio...
158
click to vote
CAD
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a service marketplace vision for enterprise-wide integrated design modeling. In this environment, expert participants and product development organizations are...
146
click to vote
NAR
2000
15 years 6 months ago
2000
The HIV reverse transcriptase and protease sequence database is an on-line relational database that catalogues evolutionary and drug-related sequence variation in the human immuno...
185
click to vote
ISI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract--Releasing person-specific data could potentially reveal sensitive information of individuals. k-anonymization is a promising privacy protection mechanism in data publishi...