12946 search results - page 490 / 2590 » Natural Language Processing |
214
click to vote
FM
2009
Springer
16 years 2 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
191
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This contribution gives an overview of various access control strategies in use in contemporary healthcare scenarios and shows how a broad variety of respective policies ...
177
click to vote
FDL
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— A modeling methodology for mixed physical domains system in a new modelling Language is presented. The system is automotive seating vibration isolation system with elec...
222
click to vote
COLING
1990
15 years 8 months ago
1990
Arabic has some special syntax features which lead to complex syntax structures. We have developed a formal description of Arabic syntax in Definite Clause Grammar. This grarnrnar...
197
click to vote
NLE
2008
15 years 7 months ago
2008
Morphological analysis is a crucial component of several natural language processing tasks, especially for languages with a highly productive morphology, where stipulating a full ...