1860 search results - page 195 / 372 » tools 2009 |
182
click to vote
ICDCS
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper concerns the fundamental problem of identifying the content nature of a flow, namely text, binary, or encrypted, for the first time. We propose Iustitia, a tool for ide...
227
click to vote
ICDT
2009
ACM
15 years 4 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
204
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Bounded timed-arc Petri nets with read-arcs were recently proven equivalent to networks of timed automata, though the Petri net model cannot express urgent behaviour and the descri...
165
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
In this effort, a data-driven and application independent technique to combine focal information from different focal planes is presented. Input images, acquired by imaging system...
158
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
By using Semi-Definite Programming (SDP) as a tool, a new deign for Two-Dimensional (2-D) Diamond-Shaped (DS) filters is developed. Surprisingly, the diamond shape of the filter is...