797 search results - page 128 / 160 » Eliminating Proofs from Programs |
100
Voted
AAAI
1996
15 years 1 months ago
1996
The NASA Personnel Security Processing Expert System is a tool that automatically determines the appropriate personnel background investigation required for a civil servant or con...
144
Voted
JPDC
2006
15 years 16 days ago
2006
Irregular parallel algorithms pose a significant challenge for achieving high performance because of the difficulty predicting memory access patterns or execution paths. Within an...
97
Voted
JCP
2007
15 years 14 days ago
2007
— Recently Mobile Learning (M-Learning) has attracted much attention. Due to advantages of SMS (Short Messaging Service) on mobile phones we present a safe and protected method f...
100
Voted
TOG
2008
15 years 14 days ago
2008
White balance is a crucial step in the photographic pipeline. It ensures the proper rendition of images by eliminating color casts due to differing illuminants. Digital cameras an...
105
click to vote
ASC
2004
15 years 13 days ago
2004
This paper proposes a new approach for tackling the uncertainty and imprecision of the service evaluation process. Identifying suitable service offers, evaluating the offers and c...