3319 search results - page 148 / 664 » Subshifts, Languages and Logic |
83
Voted
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affi...
113
click to vote
FPL
1994
Springer
15 years 4 months ago
1994
Springer
This paper introduces a new high level programming language for a novel class of computational devices namely data-procedural machines. These machines are by up to several orders o...
117
Voted
CNL
2009
15 years 1 months ago
2009
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
89
Voted
SYNTHESE
2008
15 years 20 days ago
2008
Objective Bayesian probability is often defined over rather simple domains, e.g., finite event spaces or propositional languages. This paper investigates the extension of objectiv...
99
Voted
DEXAW
2009
IEEE
15 years 7 months ago
2009
IEEE
One of the main limitations in using ontologies in modern information systems is due to the fact that the design and maintenance of ontologies is a complex activity that requires ...