6240 search results - page 1162 / 1248 » From Internet Information Searching to Information Summarizi... |
103
click to vote
STTT
2010
14 years 12 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
127
click to vote
NAACL
2010
14 years 11 months ago
2010
This paper investigates using prosodic information in the form of ToBI break indexes for parsing spontaneous speech. We revisit two previously studied approaches, one that hurt pa...
148
click to vote
SOCIALCOM
2010
14 years 11 months ago
2010
We explore the hypothesis that it is possible to obtain information about the dynamics of a blog network by analysing the temporal relationships between blogs at a semantic level, ...
140
click to vote
EMNLP
2009
14 years 11 months ago
2009
There have been increasing needs for task specific rankings in web search such as rankings for specific query segments like long queries, time-sensitive queries, navigational quer...
114
click to vote
ICMCS
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper presents a tool and a novel Fast Invariant Transform (FIT) algorithm for language independent e-documents access. The tool enables a person to access an e-document thro...