6343 search results - page 1041 / 1269 » Development of a Cartographic Language |
152
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
133
click to vote
BTW
2007
Springer
15 years 11 months ago
2007
Springer
: Model Management aims at developing new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be performed by means of a set...
180
click to vote
BTW
2007
Springer
15 years 11 months ago
2007
Springer
: For the integration of data that resides in autonomous data sources Software AG uses ontologies. Data source ontologies describe the data sources themselves. Business ontologies ...
155
click to vote
CDVE
2007
Springer
15 years 11 months ago
2007
Springer
Semantic Web Services are the key technology providing services for the users’ convenience in the semantic web environment. Many companies in various fields are researching and d...
147
click to vote
CLEAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper describes the 2007 meeting speech-to-text system for lecture rooms developed at the Interactive Systems Laboratories (ISL), for the multiple distant microphone...