740 search results - page 52 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
HPDC
1993
IEEE
14 years 19 days ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
The goal of breast cancer screening programs is to detect cancers at an early (preclinical) stage, by using periodic mammographic examinations in asymptomatic women. In evaluating ...
WOWMOM
2005
ACM
14 years 2 months ago
2005
ACM
Wireless LANs (WLANs) have edged into numerous mobile and wireless users’ daily experience worldwide as a mainstream connectivity solution for a broad range of applications. Eve...
CSCW
2002
ACM
13 years 8 months ago
2002
ACM
Much of our daily communication activity involves managing interpersonal communications and relationships. Despite its importance, this activity of contact management is poorly un...
IUI
2003
ACM
14 years 1 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...