1809 search results - page 138 / 362 » A Formal Specification of dMARS |
CORR
2009
Springer
13 years 6 months ago
2009
Springer
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...
EELC
2006
14 years 23 days ago
2006
Research into the evolution of grammar requires that we employ formalisms and processing mechanisms that are powerful enough to handle features found in human natural languages. Bu...
FLAIRS
2008
13 years 11 months ago
2008
Typical application fields of spatial and spatio-temporal representation formalisms and reasoning techniques include geographic information systems (GIS), mobile assistance system...
AO
2005
13 years 9 months ago
2005
The paper considers the problem of defining concepts within formal ontologies. A number of distinct modes of definition are identified, which represent alternative viewpoints on t...
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...