549 search results - page 71 / 110 » Verification condition generation for conditional informatio... |
AUTOMATICA
2008
15 years 20 days ago
2008
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
115
Voted
CORR
2008
Springer
15 years 19 days ago
2008
Springer
We address here two major challenges presented by dynamic data mining: 1) the stability challenge: we have implemented a rigorous incremental density-based clustering algorithm, i...
JNW
2008
15 years 15 days ago
2008
Mobile phone can serve as powerful tool for world-wide communication. A system is developed to remotely monitor process through spoken commands using mobile. Mel cepstrum features ...
88
Voted
CSL
2000
Springer
15 years 11 days ago
2000
Springer
This paper outlines ProSynth, an approach to speech synthesis which takes a rich linguistic structure as central to the generation of natural-sounding speech. We start from the as...
103
click to vote
IJCSA
2010
14 years 11 months ago
2010
Abstract: The globalized knowledge society generates virtual enterprises that are usually set up and managed on the web, and the new trend is to make the relevant technologies avai...