361 search results - page 42 / 73 » Characterization of Semantics for Argument Systems |
137
click to vote
FLAIRS
2003
15 years 6 months ago
2003
Spacecraft are key components of military operations and everyday life. To achieve space situation awareness, human operators must monitor large numbers of parameters. During off-...
145
click to vote
TAMC
2010
Springer
15 years 10 months ago
2010
Springer
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
168
click to vote
PERCOM
2003
ACM
15 years 10 months ago
2003
ACM
To programmatically discover and interact with services in ubiquitous computing environments, an application needs to solve two problems: (1) is it semantically meaningful to inte...
175
Voted
LPNMR
1997
Springer
15 years 9 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
176
Voted
MT
2010
15 years 3 months ago
2010
This paper introduces deep syntactic structures to syntax-based Statistical Machine Translation (SMT). We use a Head-driven Phrase Structure Grammar (HPSG) parser to obtain the de...