2623 search results - page 129 / 525 » tools 2010 |
127
click to vote
SOFSEM
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...
107
click to vote
LREC
2010
15 years 4 months ago
2010
In the framework of the preparation of linguistic web services for corpus processing, the need for a representation format was felt, which supports interoperability between differ...
162
click to vote
IEEEVAST
2010
14 years 9 months ago
2010
Journalists increasingly turn to social media sources such as Facebook or Twitter to support their coverage of various news events. For large-scale events such as televised debate...
130
click to vote
SERSCISA
2010
Springer
15 years 4 months ago
2010
Springer
The delay and dispersion of the packet train have been widely used in most network measurement tools. The timestamp of the packet is critical for the measurement accuracy. However...
131
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
In many application scenarios digital images play a basic role and often it is important to assess if their content is realistic or has been manipulated to mislead watcher’s opi...