Sciweavers

1512 search results - page 229 / 303
» When Suboptimal Rules
Sort
View
CSL
2005
Springer
15 years 4 months ago
Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
Frédéric Blanqui
PAKDD
2005
ACM
117views Data Mining» more  PAKDD 2005»
15 years 4 months ago
Automatic View Selection: An Application to Image Mining
Abstract. In this paper we discuss an image mining application of Egeria detection. Egeria is a type of weed found in various lands and water regions over San Joaquin and Sacrament...
Manoranjan Dash, Deepak Kolippakkam
PROFES
2005
Springer
15 years 4 months ago
Using the MOWAHS Characterisation Framework for Development of Mobile Work Applications
This paper describes an evaluation of a characterisation framework to analyse mobile work scenarios in order to make corresponding software systems. The framework identifies comple...
Alf Inge Wang, Carl-Fredrik Sørensen, Heri ...
TSD
2005
Springer
15 years 4 months ago
Detection and Correction of Malapropisms in Spanish by Means of Internet Search
Malapropisms are real-word errors that lead to syntactically correct but semantically implausible text. We report an experiment on detection and correction of Spanish malapropisms....
Igor A. Bolshakov, Sofía N. Galicia-Haro, A...
ATAL
2004
Springer
15 years 4 months ago
Agent-Based Peer-to-Peer Service Networks: A Study of Effectiveness and Structure Evolution
We study peer-to-peer service networks consisting of autonomous agents who seek and provide services. To fulfill its local needs, an agent attempts to discover and select informa...
Yathiraj B. Udupi, Pinar Yolum, Munindar P. Singh