740 search results - page 145 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
IPPS
2005
IEEE
14 years 28 days ago
2005
IEEE
High-end parallel systems present a tremendous research challenge on how to best allocate their resources to match dynamic workload characteristics and user habits that are often ...
INFOCOM
2003
IEEE
14 years 18 days ago
2003
IEEE
Abstract— Throughout the world, GSM cellular mobile networks are being upgraded to support the “always-on” General Packet Radio Service (GPRS). Despite the apparent availabil...
CAD
2006
Springer
13 years 7 months ago
2006
Springer
A large amount of 2D drawings have been produced in engineering fields. To reuse and share the available drawings efficiently, we propose two methods in this paper, namely 2.5D sp...
JBI
2006
13 years 7 months ago
2006
Dialogue systems for health communication hold out the promise of providing intelligent assistance to patients through natural interfaces that require no training to use. But in o...