11665 search results - page 1876 / 2333 » Human computing for EDA |
159
click to vote
HUC
2011
Springer
14 years 4 months ago
2011
Springer
While the sun is important for our health, overexposure to sunlight carries significant health risks ranging from sunburn to skin cancer. Although people know about these risks, ...
129
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Web 2.0 marks a new philosophy where user is the main actor and content producer: users write blogs and comments, they tag, link, and upload photos, pictures, videos, and podcasts...
153
Voted
MKM
2009
Springer
15 years 11 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...
149
click to vote
ITICSE
2009
ACM
15 years 11 months ago
2009
ACM
The relationship between research and teaching has possible benefits and inherent tensions. Exploring the potentially beneficial relationship is of interest and possible value to ...
119
click to vote
CSR
2007
Springer
15 years 11 months ago
2007
Springer
t) Yuri Gurevich Microsoft Research The talk reflects recent joint work with Nachum Dershowitz [4]. In 1936, Church suggested that the recursive functions, which had been defined...