Sciweavers

1311 search results - page 192 / 263
» Towards the ubiquitous Web
Sort
View
ICIP
2009
IEEE
15 years 12 months ago
Physics-based Illuminant Color Estimation As An Image Semantics Clue
Most algorithms for extracting illuminant chromaticity from arbitrary images, such as the images found on the web, are based on machine learning techniques. We will show how a phy...
TIME
2009
IEEE
15 years 5 months ago
The AXML Artifact Model
—Towards a data-centric workflow approach, we introduce an artifact model to capture data and workflow management activities in distributed settings. The model is built on Acti...
Serge Abiteboul, Pierre Bourhis, Alban Galland, Bo...
88
Voted
MKM
2007
Springer
15 years 5 months ago
Cooperative Repositories for Formal Proofs
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable ...
Pierre Corbineau, Cezary Kaliszyk
ICAS
2006
IEEE
157views Robotics» more  ICAS 2006»
15 years 5 months ago
Adaptive provisioning using virtual machines and autonomous role-based management
A modern server system must deliver a complex set of obligations towards its users. We study the concept of roles as autonomous encapsulations of a set of promises. Using virtuali...
Kyrre M. Begnum, Mark Burgess, John A. Sechrest
80
Voted
MKM
2005
Springer
15 years 4 months ago
Authoring Presentation for OpenMath
Some mathematical objects can have more than one notation. When a system compiles mathematical material from multiple sources, a management effort to maintain uniform and appropri...
Shahid Manzoor, Paul Libbrecht, Carsten Ullrich, E...