239 search results - page 34 / 48 » Data Abstraction and Constraint Solving for Conformance Test... |
GLOBECOM
2006
IEEE
15 years 4 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 ...
68
Voted
LPAR
2010
Springer
14 years 9 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
15 years 19 days 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...
106
click to vote
ICCV
2007
IEEE
16 years 24 days 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
14 years 11 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...