2586 search results - page 365 / 518 » Automatic Abstraction for Congruences |
167
click to vote
LCPC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The increased popularity of grid systems and cycle sharing across organizations requires scalable systems that provide facilities to locate resources, to be fair in the u...
159
click to vote
MATA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The paper presents the specification, development and initial performance evaluation of the Simplicity Device (SD), which is one of the key components of the SIMPLICITY A...
203
click to vote
MIDDLEWARE
2005
Springer
15 years 12 months ago
2005
Springer
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
185
click to vote
NLDB
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Automated Text Categorization has reached the levels of accuracy of human experts. Provided that enough training data is available, it is possible to learn accurate autom...
148
click to vote
NLDB
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The increasing flow of digital information requires the extraction, filtering and classification of pertinent information from large volumes of texts. An important pre...