120 search results - page 7 / 24 » Logical Filtering |
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
In the Ad-Hoc InfoWare project, we develop a delay tolerant event notification service for sparse Mobile Ad-Hoc Networks for emergency and rescue operations. In most event notific...
CLEF
2006
Springer
14 years 9 days ago
2006
Springer
Abstract. The paper features MAVE, a knowledge-based system for answer validation through deep linguistic processing and logical inference. A relaxation loop is used to determine a...
ICIP
1995
IEEE
14 years 10 months ago
1995
IEEE
In this paper enhancement of a digital image is done by detecting the noisy and noiseless region of the image. The noisy regions are smoothed and the noiseless regions are sharpen...
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
SOFSEM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...