6343 search results - page 1038 / 1269 » Development of a Cartographic Language |
126
click to vote
AIMSA
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. This paper reports on experiments performed in the development of the QALL-ME system, a multilingual QA infrastructure capable of handling input requests both in written ...
142
click to vote
AIMSA
2008
Springer
15 years 11 months ago
2008
Springer
Abstract This paper attempts to define an emotional model for virtual agents that behave autonomously in social worlds. We adopt shallow modeling based on the decomposition of the...
118
click to vote
APSEC
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
116
Voted
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
: - The rising complexity of modern embedded systems is causing a significant increase in the verification effort required by hardware designers and software developers, leading to...
130
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
—Ubiquitous service composition provides new services and applications seamlessly by establishing cooperation among any devices in home networks and any services in service provi...