1370 search results - page 77 / 274 » Towards Automatic Generation of Natural Language Generation ... |
171
click to vote
SIGMOD
2007
ACM
16 years 16 hour ago
2007
ACM
The Pathfinder XQuery compiler has been enhanced by a new code generator that can target any SQL:1999-compliant relational database system (RDBMS). This code generator marks an im...
104
click to vote
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
The problems involved in the development of user interfaces become even more severe through the ubiquitous use of a variety of devices such as PCs, mobile phones and PDAs. Each of...
SAC
2010
ACM
15 years 5 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
111
click to vote
WIRI
2005
IEEE
15 years 5 months ago
2005
IEEE
The inter-operability of multiple autonomous and heterogeneous data sources is an important issue in many applications such as mediation systems, datawarehouses, or web-based syst...