2500 search results - page 133 / 500 » Specifying Behavior in C |
139
click to vote
CCR
2006
15 years 3 months ago
2006
We consider the uplink power control problem in a single cell CDMA wireless data system. Each user specifies upper and lower QoS bounds. We formulate the considered problem as a g...
116
click to vote
SYNTHESE
2008
15 years 3 months ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
127
click to vote
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
The support of heterogeneity at the specification level, that is, the ability to mix several models of computation (MoCs) in the system-level specification, is becoming increasing...
110
Voted
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
This paper introduces a class of correlation filters called
Average of Synthetic Exact Filters (ASEF). For ASEF, the
correlation output is completely specified for each training
...
122
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
In 3GPP a standard for multimedia streaming over mobile networks called PSS (Packet-switched Streaming Service) has been specified. In order to deal with changing transmission char...