4266 search results - page 546 / 854 » A Framework for Defining Logics |
212
click to vote
ELP
1991
15 years 10 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
205
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
160
click to vote
COMMA
2008
15 years 8 months ago
2008
Abstract Classical propositional logic is an appealing option for modelling argumentation but the computational viability of generating an argument is an issue. Here we propose ame...
180
Voted
MEDINFO
2007
15 years 8 months ago
2007
After a critical review of the present architecture of SNOMED CT, addressing both logical and ontological issues, we present a roadmap towards an overall improvement of this termi...
327
click to vote
ACST
2006
15 years 8 months ago
2006
Including mathematical expressions in documents can be a tiresome and difficult process. A recognition system for handwritten mathematical expressions would greatly simplify the t...