3256 search results - page 611 / 652 » Applications of Formal Methods to System Design and Verifica... |
GIS
2009
ACM
15 years 2 months ago
2009
ACM
Apart from visualization tasks, three-dimensional (3D) data management features are not or only hardly available in current spatial database systems and Geographic Information Sys...
GECCO
2007
Springer
15 years 1 months ago
2007
Springer
Air traffic management offers an intriguing real world challenge to designing large scale distributed systems using evolutionary computation. The ability to evolve effective air t...
112
click to vote
JAIR
2007
14 years 9 months ago
2007
One of the biggest challenges in the development and deployment of spoken dialogue systems is the design of the spoken language generation module. This challenge arises from the n...
FAST
2009
14 years 7 months ago
2009
Transactions offer a powerful data-access method used in many databases today trough a specialized query API. User applications, however, use a different fileaccess API (POSIX) wh...
CIKM
2005
Springer
15 years 3 months ago
2005
Springer
Databases of text and text-annotated data constitute a significant fraction of the information available in electronic form. Searching and browsing are the typical ways that users...