541 search results - page 37 / 109 » Language Technology Challenges of a 'Small' Language (Catala... |
ICWE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
Current consumer electronics devices do not interoperate and are hard to use. Devices use proprietary, device-specific and inflexible protocols. Resources across device classes, s...
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
KES
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The growing availability of GPS and localization technologies in general opens up new challenges regarding the use of position information for Location Based Services. As...
NDQA
2003
13 years 9 months ago
2003
Current question answering systems succeed in many respects regarding questions about textual documents. However, information exists in other media, which provides both opportunit...