12194 search results - page 411 / 2439 » cans 2010 |
166
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We study tree languages that can be defined in 2. These are tree languages definable by a first-order formula whose quantifier prefix is , and simultaneously by a first-order for...
170
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theore...
146
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We study a general class of problems called F -Deletion problems. In an F -Deletion problem, we are asked whether a subset of at most k vertices can be deleted from a graph G such...
180
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Histograms are widely used in medical imaging, network intrusion detection, packet analysis and other streambased high throughput applications. However, while porting such software...
140
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Public access to digital data can turn out to be a cause of undesirable information disclosure. That's why it is vital to somehow protect the data before publishing. There are...