541 search results - page 41 / 109 » Language Technology Challenges of a 'Small' Language (Catala... |
OTM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Although cryptographic implementation tasks are often undertaken by expert programmers, a plethora of performance and security driven options, as well as more mundane sof...
FMCAD
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
ICCL
1998
IEEE
14 years 9 days ago
1998
IEEE
Millions of computers are now connected together by the Internet. At a fast pace, applications are taking advantage of these new capabilities, and are becoming parallel and distri...
PDPTA
2003
13 years 9 months ago
2003
— A number of colleges and universities have recently added new degree programs in Information Technology (IT), or added IT components to existing Computer Science (CS) programs....
IWSDS
2010
13 years 6 months ago
2010
Recently various data-driven spoken language technologies have been applied to spoken dialog system development. However, high cost of maintaining the spoken dialog systems is one ...