2705 search results - page 422 / 541 » Formal Ontology for Subject |
116
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The control of small-scale helicopter is a MIMO problem. To use of classical control approach to formally solve a MIMO problem, one needs to come up with multidimensional Root Loc...
174
click to vote
IEE
2008
15 years 6 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
163
click to vote
DATAMINE
2006
15 years 6 months ago
2006
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
166
click to vote
GIS
2006
ACM
15 years 6 months ago
2006
ACM
We present an algorithm for polyline (and polygon) similarity testing that is based on the double-cross formalism. To determine the degree of similarity between two polylines, the...
144
click to vote
INFORMATICALT
2008
15 years 6 months ago
2008
This paper presents the Croatian context-dependent acoustic modelling used in speech recognition and in speech synthesis. The proposed acoustic model is based on context-dependent ...