1968 search results - page 189 / 394 » The Complexity of Valued Constraint Models |
110
click to vote
SIGCOMM
2006
ACM
15 years 7 months ago
2006
ACM
We present practical models for the physical layer behaviors of packet reception and carrier sense with interference in static wireless networks. These models use measurements of ...
97
Voted
NCA
2008
IEEE
15 years 1 months ago
2008
IEEE
A common statistical model for paired comparisons is the Bradley-Terry model. This research re-parameterizes the Bradley-Terry model as a single-layer artificial neural network (A...
128
Voted
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
134
Voted
CCE
2011
14 years 8 months ago
2011
Selective liquid membranes have been traditionally employed for liquid/liquid and gas/liquid mass transfer in a wide range of applications. In particular, the Emulsion Pertraction...
200
Voted
VLDB
2004
ACM
16 years 2 months ago
2004
ACM
With the recent and continuing advances in areas such as wireless communications and positioning technologies, mobile, locationbased services are becoming possible. Such services ...