120 search results - page 7 / 24 » Logical Filtering |
AINA
2007
IEEE
15 years 4 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...
76
Voted
CLEF
2006
Springer
15 years 1 months 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
15 years 11 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...
91
Voted
ESOP
2005
Springer
15 years 3 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
15 years 3 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...