5015 search results - page 768 / 1003 » Model Checking a Path |
164
click to vote
OHS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Over the last six years the Open Hypermedia Systems Working Group (OHSWG) has been working in a coordinated effort to produce a protocol which will allow components of an...
157
click to vote
RT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we show how Metropolis Light Transport can be extended both in the underlying theoretical framework and the algorithmic implementation to incorporate volume...
154
click to vote
EMNLP
2008
15 years 8 months ago
2008
We consider a parsed text corpus as an instance of a labelled directed graph, where nodes represent words and weighted directed edges represent the syntactic relations between the...
159
click to vote
ONDM
2007
15 years 8 months ago
2007
WDM technology has increased network link capacity dramatically, moving the network bottleneck from the transport to the routing layer. Hybrid electro-optical architectures seem at...
209
click to vote
ACL
2006
15 years 8 months ago
2006
A hybrid convolution tree kernel is proposed in this paper to effectively model syntactic structures for semantic role labeling (SRL). The hybrid kernel consists of two individual...