1941 search results - page 251 / 389 » Reasoning about Computations Using Two-Levels of Logic |
138
Voted
SAC
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
117
Voted
CHI
2007
ACM
16 years 4 months ago
2007
ACM
A longitudinal design was employed to collect three waves of survey data over a 14 month period from 2790 online gamers. Respondents were asked questions about their gaming activi...
141
Voted
ICAC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...
129
Voted
ICCS
1998
Springer
15 years 8 months ago
1998
Springer
Internet-based information technologies have considerable potential for improving collaboration in professional communities. In this paper, we explain the concept of user-driven sp...
175
click to vote
CW
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents an approach to realize a tool for interactive and intuitive deformation of 3D shapes. The approach combines a fast algorithm for 3D free form deformation that ...