11436 search results - page 1842 / 2288 » Modeling Real Reasoning |
159
click to vote
CAV
2007
Springer
16 years 16 days ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
156
click to vote
CCIA
2007
Springer
16 years 16 days ago
2007
Springer
We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics for Multi-...
137
click to vote
CSL
2007
Springer
16 years 15 days ago
2007
Springer
Existing definitions of the relativizations of NC1 , L and NL do not preserve the inclusions NC1 ⊆ L, NL ⊆ AC1 . We start by giving the first definitions that preserve them....
176
click to vote
DBPL
2007
Springer
16 years 15 days ago
2007
Springer
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
144
click to vote
ECAL
2007
Springer
16 years 15 days ago
2007
Springer
The human body has a complex skeleton, giving a very high number of degrees of freedom, and is actuated by a large number of elastic elements muscles and tendons. As a consequence,...