2356 search results - page 133 / 472 » Characterizations of postman sets |
125
Voted
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
131
Voted
ICPR
2002
IEEE
15 years 9 months ago
2002
IEEE
This article presents colposcopic image classification based on contour parameters used in a comparison study of different artificial neural networks and the knearest neighbors re...
136
click to vote
ALP
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
139
click to vote
ICASSP
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper we propose a new set of parameters for audio signal analysis and classification. These parameters are regressions computed on the normalized modulation spectrum of h...
127
click to vote
EUC
2008
Springer
15 years 6 months ago
2008
Springer
We present RT-P2P, a real-time peer-to-peer (P2P) system that allows application-level end-to-end timing requirements to be satisfied in P2P systems. P2P systems are fundamentally...