740 search results - page 34 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
CHI
2005
ACM
14 years 8 months ago
2005
ACM
There is growing interest in technologies that support user experiences emphasizing aesthetic satisfaction and enjoyment rather than task accomplishment. Evaluating such experienc...
DATAMINE
1998
13 years 8 months ago
1998
The tutorial starts with an overview of the concepts of VC dimension and structural risk minimization. We then describe linear Support Vector Machines (SVMs) for separable and non-...
HAPTICS
2006
IEEE
14 years 2 months ago
2006
IEEE
Research on haptic texture perception requires the availability of textured surfaces with high precision and fine resolution. Given the exquisite sensitivity of the human fingers ...
CONCURRENCY
2002
13 years 8 months ago
2002
The implementation of multiple Grid computing portals has led us to develop a methodology for Grid portal development that facilitates rapid prototyping and building of portals. B...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
The blogosphere is changing how people experience war and conflict. We conducted an analysis of 125 blogs written by Iraqi citizens experiencing extreme disruption in their countr...