2225 search results - page 82 / 445 » Logical Structures in the Lexicon |
141
click to vote
SYNTHESE
2008
15 years 5 months ago
2008
This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by d...
125
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
: This article is about the architecture of a wavelet filter bank with reprogrammable logic. It is based on second generation of wavelets with a reduced of number of operations. A ...
142
Voted
JSYML
2011
15 years 17 days ago
2011
Abstract. Westudy cut-elimination in first-orderclassical logic. Weconstructa sequenceofpolynomiallength proofs having a non-elementary number of different cut-free normal forms....
185
click to vote
CMSB
2007
Springer
15 years 11 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
154
Voted
TIME
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...