1798 search results - page 112 / 360 » Generating presentation constraints from rhetorical structur... |
124
click to vote
IEEEICCI
2002
IEEE
15 years 4 months ago
2002
IEEE
In this contribution we present a theoretical approach which has been utilized to inform the coordination of the development of complex systems. Coordination is regarded as a form...
INFOCOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract—This paper investigates pricing of Internet connectivity services in the context of a monopoly ISP selling broadband access to consumers. We first study the optimal com...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
AI
2007
Springer
14 years 11 months ago
2007
Springer
One difficulty that arises in abstract argument systems is that many natural questions regarding argument acceptability are, in general, computationally intractable having been c...
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
We present a method for detecting and parsing buildings from unorganized 3D point clouds into a compact, hierarchical representation that is useful for high-level tasks. The input...