LRE
2010
13 years 6 months ago
2010
We propose a method for automatically identifying individual instances of English verb-particle constructions (VPCs) in raw text. Our method employs the RASP parser and analysis of...
LR
2010
13 years 6 months ago
2010
LR
2010
13 years 6 months ago
2010
LOGCOM
2010
13 years 6 months ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
LOGCOM
2010
13 years 6 months ago
2010
Gentzen systems are introduced for Spinks and Veroff's substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has b...
LOGCOM
2010
13 years 6 months ago
2010
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
LOGCOM
2010
13 years 6 months ago
2010
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
LLC
2010
13 years 6 months ago
2010
This paper reviews some cases in which the collaboration of theoretical pragmaticians and psychologists of language has been most fruitful for all parties. Linguists have benefite...
LLC
2010
13 years 6 months ago
2010
LLC
2010
13 years 6 months ago
2010
The quest to educate nonstandardized Englishspeaking students has been a primary driving force behind developments in many fields represented by Compass journals, including socio...