1146 search results - page 91 / 230 » Formal Specification Generation from Requirement Documents |
100
click to vote
SIGIR
2008
ACM
14 years 9 months ago
2008
ACM
The approach of using passage-level evidence for document retrieval has shown mixed results when it is applied to a variety of test beds with different characteristics. One main r...
ICDAR
2009
IEEE
14 years 7 months ago
2009
IEEE
To exploit the road network in raster maps, the first step is to extract the pixels that constitute the roads and then vectorize the road pixels. Identifying colors that represent...
ECIR
2010
Springer
14 years 11 months ago
2010
Springer
Topic models have been studied extensively in the context of monolingual corpora. Though there are some attempts to mine topical structure from cross-lingual corpora, they require ...
SIGIR
1999
ACM
15 years 2 months ago
1999
ACM
We define the problem of decomposing human-written summary sentences and propose a novel Hidden Markov Model solution to the problem. Human summarizers often rely on cutting and ...
SAMOS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Systems-on-Chip (SoCs) may be built upon general purpose CPUs or application-specific instruction-set processors (ASIPs). On the one hand, ASIPs allow a tradeoff betwee...