Sciweavers

5624 search results - page 234 / 1125
» On Conditional Covering Problem
Sort
View
PPDP
2009
Springer
16 years 1 months ago
An Isabelle/HOL-based model of stratego-like traversal strategies
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
Markus Kaiser, Ralf Lämmel
SEMWEB
2009
Springer
16 years 1 months ago
Semantic Usage Policies for Web Services
Web Services provide standardized interfaces for accessing software systems and data sources over the Internet. Semantic descriptions of Web Services help to automate the discovery...
Sebastian Speiser
IPPS
2007
IEEE
16 years 27 days ago
A Framework for Modeling Operating System Mechanisms in the Simulation of Network Protocols for Real-Time Distributed Systems
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...
Paolo Pagano, Prashant Batra, Giuseppe Lipari
VTC
2006
IEEE
16 years 18 days ago
Wideband Spatial Channel Model for MIMO Systems at 5 GHz in Indoor and Outdoor Environments
This work presents a spatial channel model developed within the EC WINNER' project. The channel model is mainly based on double-directional measurement campaigns carried out i...
Hassan El-Sallabi, Daniel S. Baum, Per Zetterberg,...
AMFG
2003
IEEE
151views Biometrics» more  AMFG 2003»
15 years 12 months ago
Illumination Modeling and Normalization for Face Recognition
In this paper, we present a general framework for face modeling under varying lighting conditions. First, we show that a face lighting subspace can be constructed based on three o...
Haitao Wang, Stan Z. Li, Yangsheng Wang, Weiwei Zh...