158 search results - page 13 / 32 » Strong logics of first and second order |
116
click to vote
TSD
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Rhetorical structuring is field approached mostly by research in natural language (pragmatic) interpretation. However, in natural language generation (NLG) the rhetorica...
124
click to vote
CONTEXT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...
112
click to vote
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
Soft errors in logic are emerging as a significant reliability problem for VLSI designs. This paper presents novel circuit optimization techniques to mitigate soft error rates (SE...
88
Voted
WSC
2001
15 years 3 months ago
2001
This paper presents three methods implemented in the activity-based construction modeling and simulation (ABC) system for validating a construction simulation. The first method re...
129
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...