1573 search results - page 110 / 315 » Signs and Formal Concepts |
102
click to vote
SLOGICA
2008
15 years 1 months ago
2008
Logic is a celebrated representation language because of its formal generality. But there are two senses in which a logic may be considered general, one that concerns a technical a...
126
click to vote
SAC
2011
ACM
14 years 4 months ago
2011
ACM
Spatial networks like transportation, power, and pipeline networks are a ubiquitous spatial concept in everyday life and play an important role for navigational and routing purpos...
121
click to vote
ACSD
2007
IEEE
15 years 8 months ago
2007
IEEE
Signal Transition Graphs (STG) are a formalism for the description of asynchronous circuit behaviour. In this paper we propose (and justify) a formal semantics of nondeterministic...
113
click to vote
DEXAW
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper, we suggest that it should be possible to come closer to the Semantic Web goals by enhancing the ontology paradigm and, in particular, by supplementing the ‘tradit...
106
click to vote
VL
2002
IEEE
15 years 6 months ago
2002
IEEE
We have been working on a unit system for end-user spreadsheets that is based on the concrete notion of units of the abstract concept of types. In previous work, we defined such ...