5550 search results - page 572 / 1110 » Different Approaches to Proof Systems |
198
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
A 2x2 enhanced Wizard-of-Oz experiment (N = 32) was conducted to compare two different approaches to presenting information to drivers in easy and difficult driving conditions. Da...
193
click to vote
ITS
2010
Springer
16 years 3 days ago
2010
Springer
This paper presents a novel Automatic Question Generation (AQG) approach that generates trigger questions as a form of support for students’ learning through writing. The approac...
209
click to vote
EDOC
2009
IEEE
15 years 11 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
204
click to vote
ISI
2008
Springer
15 years 7 months ago
2008
Springer
Identity Management plays a crucial role in many application contexts, including e-governments, e-commerce, business intelligence, investigation, and homeland security. The variet...
209
click to vote
GI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract: Large biomedical projects often include workflows running across institutional borders. In these workflows, data describing biomedical entities, such as patients, bio-m...