6343 search results - page 195 / 1269 » Development of a Cartographic Language |
152
click to vote
ESWS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. In this article we describe a semantic extension of event-driven process chains, with which it is possible to specify the semantics of individual model elements as it is ...
145
click to vote
SEMWEB
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. This paper presents a controlled language for ontology editing and a software implementation, based partly on standard NLP tools, for processing that language and manipul...
193
click to vote
GW
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. A sign language recognition system based on Hidden Markov Models(HMMs) and Auto-regressive Hidden Markov Models(ARHMMs) has been proposed in this paper. ARHMMs fully cons...
140
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
173
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...