12774 search results - page 2214 / 2555 » A Framework for Proof Systems |
188
Voted
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Proposed and developed is the language Service Composition (SC) CoJava, which extends the programming language Java with (1) a modular service composition framework; (2) an extens...
188
Voted
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
The digital divide is a complex and dynamic phenomenon. Despite extensive studies on the digital divide and its impact, developing countries, in particular, are still searching fo...
174
Voted
HPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we address the problem of managing heterogeneous workloads in a virtualized data center. We consider two different workloads: transactional applications and long-ru...
193
Voted
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents an approach for a multi-cue based two-dimensional gesture recognition that combines two different forms of cues, namely shape cues and motion cues, in a suppor...
194
Voted
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We are interested in recovering aspects of vocal tract’s geometry and dynamics from auditory and visual speech cues. We approach the problem in a statistical framework based on ...