6201 search results - page 246 / 1241 » Implementation of Axiomatic Language |
174
click to vote
NAACL
1994
15 years 6 months ago
1994
We have been developing a spoken language system to recognize and understand spontaneous speech. It is difficult for such systems to achieve good coverage of the lexicon and gramm...
152
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
139
click to vote
CSSE
2004
IEEE
15 years 5 months ago
2004
IEEE
One of the most important features of XML-based Web services is that they can be easily accessed over the Internet, but this makes them vulnerable to a series of security threats....
202
click to vote
CL
1999
Springer
15 years 5 months ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
174
click to vote
NGC
1998
Springer
15 years 5 months ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...