Sciweavers

6016 search results - page 946 / 1204
» The semantics of graphical languages
Sort
View
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 6 months ago
Bistable Biorders: A Sequential Domain Theory
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...
James Laird
JAPLL
2007
88views more  JAPLL 2007»
15 years 6 months ago
Some comments on history based structures
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
Eric Pacuit
WS
2008
ACM
15 years 6 months ago
Translating the Foundational Model of Anatomy into OWL
The Foundational Model of Anatomy (FMA) [7] represents the result of manual and disciplined modeling of the structural organization of the human body. Many workers in medical info...
Natalya Fridman Noy, Daniel L. Rubin
LRE
2007
96views more  LRE 2007»
15 years 6 months ago
The GOLD Community of Practice: an infrastructure for linguistic data on the Web
The GOLD Community of Practice is proposed as a model for linking on-line linguistic data to an ontology. The key components of the model include the linguistic data resources them...
Scott Farrar, William D. Lewis
CJ
2004
105views more  CJ 2004»
15 years 6 months ago
Generalized Template Splay: A Basic Theory and Calculus
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
George F. Georgakopoulos, David J. McClurkin