Sciweavers

2139 search results - page 193 / 428
» Connecting language to the world
Sort
View
ICALP
2007
Springer
15 years 5 months ago
Low Distortion Spanners
A spanner of an undirected unweighted graph is a subgraph that approximates the distance metric of the original graph with some specified accuracy. Specifically, we say H ⊆ G i...
Seth Pettie
ICPR
2006
IEEE
15 years 5 months ago
An Iterative Algorithm for Segmentation of Isolated Handwritten Words in Gurmukhi Script
Segmentation of handwritten text in Gurmukhi script is an uphill task primarily because of the structural features of the script and varied writing styles. The presence of a horiz...
Dharam Veer Sharma, Gurpreet Singh Lehal
ICECCS
1999
IEEE
140views Hardware» more  ICECCS 1999»
15 years 3 months ago
Practical Considerations in Protocol Verification: The E-2C Case Study
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
Yifei Dong, Scott A. Smolka, Eugene W. Stark, Step...
LREC
2010
165views Education» more  LREC 2010»
15 years 23 days ago
Corpus-based Semantics of Concession: Where do Expectations Come from?
In this paper, we discuss our analysis and resulting new annotations of Penn Discourse Treebank (PDTB) data tagged as Concession. Concession arises whenever one of the two argumen...
Livio Robaldo, Eleni Miltsakaki, Alessia Bianchini
FUIN
2008
147views more  FUIN 2008»
14 years 11 months ago
A Basic Logic for Reasoning about Connector Reconfiguration
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
Dave Clarke