2303 search results - page 368 / 461 » On the logic of argumentation theory |
152
click to vote
LICS
2007
IEEE
16 years 20 days ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
140
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
159
click to vote
FPGA
2007
ACM
16 years 17 days ago
2007
ACM
Variations in the semiconductor fabrication process results in variability in parameters between transistors on the same die, a problem exacerbated by lithographic scaling. The re...
150
click to vote
SAC
2006
ACM
16 years 10 days ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
168
click to vote
HT
2005
ACM
15 years 12 months ago
2005
ACM
Hypertext can be seen as a logic representation, where semantics are encoded in both the textual nodes and the graph of links. Systems that have a very formal representation of th...