3954 search results - page 131 / 791 » Image-based Model Completion |
123
click to vote
LOGCOM
2002
15 years 4 months ago
2002
We give a categorial characterization of how labelled deduction systems for logics with a propositional basis behave under unconstrained fibring and under fibring that is constrai...
131
click to vote
SIAMCOMP
2010
14 years 12 months ago
2010
An equality template (also equality constraint language) is a relational structure with infinite universe whose relations can be defined by boolean combinations of equalities. We ...
229
click to vote
CALCO
2011
Springer
14 years 5 months ago
2011
Springer
Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to trans...
170
click to vote
JVCA
2002
15 years 4 months ago
2002
Behavioural models offer the ability to simulate autonomous agents like organisms and living beings. Psychological studies have showed that the human behaviour can be described by...
154
click to vote
RTAS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Modern computing systems have adopted multicore architectures and multiprocessor systems on chip (MPSoCs) for accommodating the increasing demand on computation power. Ho...