Sciweavers

2290 search results - page 388 / 458
» Extensible Protected Types
Sort
View
SERVICES
2010
233views more  SERVICES 2010»
13 years 2 months ago
Odin: Context-Aware Middleware for Mobile Services
Abstract--Mobile devices such as smart phones are increasing permeating society. With strides in computational power, coupled with the ability to connect to other small devices, sm...
Thiranjith Weerasinghe, Ian Warren
TIP
2010
279views more  TIP 2010»
13 years 2 months ago
Generalized Assorted Pixel Camera: Postcapture Control of Resolution, Dynamic Range, and Spectrum
We propose the concept of a generalized assorted pixel (GAP) camera, which enables the user to capture a single image of a scene and, after the fact, control the tradeoff between s...
Fumihito Yasuma, Tomoo Mitsunaga, Daisuke Iso, Shr...
TSC
2010
159views more  TSC 2010»
13 years 2 months ago
A Mathematical Programming Approach for Server Consolidation Problems in Virtualized Data Centers
Today's data centers offer IT services mostly hosted on dedicated physical servers. Server virtualization provides a technical means for server consolidation. Thus, multiple v...
Benjamin Speitkamp, Martin Bichler
CORR
2011
Springer
115views Education» more  CORR 2011»
12 years 11 months ago
SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amra...
ICASSP
2011
IEEE
12 years 11 months ago
Survey and evaluation of acoustic features for speaker recognition
This study seeks to quantify the effectiveness of a broad range of acoustic features for speaker identification and their impact in feature fusion. Sixteen different acoustic feat...
Aaron D. Lawson, Pavel Vabishchevich, Mark C. Hugg...