239 search results - page 34 / 48 » Data Abstraction and Constraint Solving for Conformance Test... |
GLOBECOM
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— Differentiated QoS provision in wireless environments via multicarrier energy allocation is examined in this work. Within this framework, differentiated QoS is applied ...
LPAR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...
ECCB
2008
IEEE
13 years 10 months ago
2008
IEEE
Abstract. Mass spectrometry is among the most widely used technologies in proteomics and metabolomics. For metabolites, de novo interpretation of spectra is even more important tha...
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
The maximum flow algorithm for minimizing energy functions of binary variables has become a standard tool in computer vision. In many cases, unary costs of the energy depend linea...
AUTOMATICA
2006
13 years 8 months ago
2006
Industrial implementation of model-based control methods, such as model predictive control, is often complicated by the lack of knowledge about the disturbances entering the syste...