Sciweavers

4866 search results - page 972 / 974
» UML for Global Computing
Sort
View
EMSOFT
2011
Springer
12 years 7 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger
ECCV
2008
Springer
14 years 9 months ago
Robust 3D Pose Estimation and Efficient 2D Region-Based Segmentation from a 3D Shape Prior
In this work, we present an approach to jointly segment a rigid object in a 2D image and estimate its 3D pose, using the knowledge of a 3D model. We naturally couple the two proces...
Samuel Dambreville, Romeil Sandhu, Anthony J. Yezz...
LCTRTS
2007
Springer
14 years 1 months ago
Integrated CPU and l2 cache voltage scaling using machine learning
Embedded systems serve an emerging and diverse set of applications. As a result, more computational and storage capabilities are added to accommodate ever more demanding applicati...
Nevine AbouGhazaleh, Alexandre Ferreira, Cosmin Ru...
PODC
2004
ACM
14 years 24 days ago
Analyzing Kleinberg's (and other) small-world Models
We analyze the properties of Small-World networks, where links are much more likely to connect “neighbor nodes” than distant nodes. In particular, our analysis provides new re...
Charles U. Martel, Van Nguyen
GI
2004
Springer
14 years 22 days ago
FUSE BY: Syntax und Semantik zur Informationsfusion in SQL
Abstract: Daten und Informationen heterogener Quellen k¨onnen gleiche Objekte repr¨asentieren und dennoch sich widersprechen oder sich erg¨anzen. Werden solche Daten integriert,...
Jens Bleiholder, Felix Naumann