2409 search results - page 370 / 482 » Logical systems for structured specifications |
145
Voted
ITP
2002
15 years 3 months ago
2002
This paper develops a theoretical perspective on gender and information technology (IT) by examining socio-cultural influences on women who are members of the information technolog...
137
Voted
HT
2006
ACM
15 years 9 months ago
2006
ACM
In recent years, tagging systems have become increasingly popular. These systems enable users to add keywords (i.e., “tags”) to Internet resources (e.g., web pages, images, vi...
120
Voted
COMPSAC
1998
IEEE
15 years 8 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
132
Voted
CSC
2006
15 years 5 months ago
2006
- Two software packages for solving sparse systems of linear equations, SuperLU and UMFPACK, have been integrated with the University of Maine Ice Sheet Model for predicting the fo...
141
Voted
AIEDU
2008
15 years 2 months ago
2008
To investigate whether more concise Natural Language feedback improves learning, we developed two Natural Language generators (DIAG-NLP1 and DIAG-NLP2), to provide feedback in an I...