Sciweavers

349 search results - page 36 / 70
» Language Resources for Studying Argument
Sort
View
TLCA
2005
Springer
15 years 5 months ago
Avoiding Equivariance in Alpha-Prolog
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
Christian Urban, James Cheney
ICALP
2010
Springer
15 years 1 months ago
Parameterized Modal Satisfiability
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl...
Antonis Achilleos, Michael Lampis, Valia Mitsou
PPDP
2010
Springer
14 years 10 months ago
Deriving predicate statistics in datalog
Database query optimizers rely on data statistics in selecting query execution plans. Similar query optimization techniques are desirable for deductive databases and, to make this...
Senlin Liang, Michael Kifer
EMNLP
2009
14 years 9 months ago
Chinese Semantic Role Labeling with Shallow Parsing
Most existing systems for Chinese Semantic Role Labeling (SRL) make use of full syntactic parses. In this paper, we evaluate SRL methods that take partial parses as inputs. We fir...
Weiwei Sun, Zhifang Sui, Meng Wang, Xin Wang
HICSS
2006
IEEE
110views Biometrics» more  HICSS 2006»
15 years 5 months ago
Risk Factors in Distributed Projects
In this manuscript we develop a conceptual understanding of how key risk factors associated with Information Technology development projects are magnified or multiplied when deali...
James M. Erickson, Roberto Evaristo