5647 search results - page 770 / 1130 » A word from the editor |
208
click to vote
CIARP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper presents a methodology for the automatic segmentation of rock-scenes using a combination of range and intensity vision. A major problem in rock scene segmentat...
157
click to vote
CICLING
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper describes the application of the perceptron algorithm to the morphological disambiguation of Turkish text. Turkish has a productive derivational morphology. Du...
189
click to vote
CIKM
2007
Springer
16 years 28 days ago
2007
Springer
We consider the problem of content-based spam filtering for short text messages that arise in three contexts: mobile (SMS) communication, blog comments, and email summary informa...
162
click to vote
CONCUR
2007
Springer
16 years 28 days ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...
169
click to vote
CSL
2007
Springer
16 years 28 days ago
2007
Springer
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...