740 search results - page 14 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
BMCBI
2006
13 years 7 months ago
2006
Background: Microarray technology has become a widely accepted and standardized tool in biology. The first microarray data analysis programs were developed to support pair-wise co...
INTERACT
1997
13 years 8 months ago
1997
The activation of certain functions in groupware affects different users who might have conflicting interests. We will develop technical mechanisms to support users in regulating t...
IADIS
2004
13 years 8 months ago
2004
An online interactive learning environment which offers immediate feedback to student learning SQL was constructed. This has supported the gathering of interesting statistics on s...
TABLETOP
2007
IEEE
14 years 1 months ago
2007
IEEE
Multi-person tabletop applications that require a high display resolution, such as collaborative web-browsing, are currently very difficult to create. Tabletop systems that suppo...
AIR
2006
13 years 7 months ago
2006
In recent years a a number of psycholinguistic experiments have pointed to the interaction between language and vision. In particular, the interaction between visual attention and ...