5378 search results - page 774 / 1076 » Base Logics in Argumentation |
113
Voted
RECOMB
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
108
click to vote
ICFP
2008
ACM
16 years 23 days ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
118
click to vote
STOC
2010
ACM
15 years 10 months ago
2010
ACM
We close affirmatively a question which has been open for long time: decidability of the HOM problem. The HOM problem consists in determining, given a tree homomorphism D and a re...
103
Voted
ICCAD
2006
IEEE
15 years 9 months ago
2006
IEEE
Behavior synthesis and optimization beyond the register transfer level require an efficient utilization of the underlying platform features. This paper presents a platform-based ...
142
Voted
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...