740 search results - page 73 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
102
click to vote
GCC
2006
Springer
15 years 5 months ago
2006
Springer
Increasingly scientists are using collections of software tools in their research. These tools are typically used in concert, often necessitating laborious and error prone manual ...
104
click to vote
LAWEB
2005
IEEE
15 years 7 months ago
2005
IEEE
This work addresses the question of supporting web designers in considering usability in their work in order to foster user-centered design of web sites. With the MetroWeb tool th...
117
click to vote
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
Technological advancements have and will revolutionise the support offered to persons in their home environment. As the population continues to grow and in addition the percentage ...
121
click to vote
AIED
2007
Springer
15 years 5 months ago
2007
Springer
: The use of Open-Learner Modelling (OLM) within Intelligent Learning Environments is becoming more common. By allowing learners a greater control over their learning experience, O...
122
click to vote
ICCHP
2010
Springer
15 years 6 months ago
2010
Springer
Crossing an urban traffic intersection is one of the most dangerous activities of a blind or visually impaired person's travel. Building on past work by the authors on the iss...