551 search results - page 61 / 111 » Formalizing the Logic-Automaton Connection |
ASWEC
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...
ECSQARU
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conļ¬...
162
click to vote
TARK
2009
Springer
15 years 4 months ago
2009
Springer
We exhibit a new computational-based deļ¬nition of awareness, informally that our level of unawareness of an object is the amount of time needed to generate that object within a ...
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
ā In this paper, we study QoS routing in wireless mesh networks with cognitive radios, which involves route selection, channel allocation and scheduling. It turns out to be a har...