143 search results - page 22 / 29 » Combination of Among and Cardinality Constraints |
FMCAD
2006
Springer
14 years 2 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
MOBIMEDIA
2007
14 years 10 days ago
2007
The recent advances in miniaturization and the creation of low-power circuits, combined with small-sized batteries have made the development of wireless sensor networks a working ...
CVIU
2006
13 years 11 months ago
2006
A novel approach is proposed to analyzing and tracking the motion of structured deformable shapes, which consist of multiple correlated deformable subparts. Since this problem is ...
GRID
2006
Springer
13 years 11 months ago
2006
Springer
One of the first motivations of using grids comes from applications managing large data sets in field such as high energy physics or life sciences. To improve the global throughput...
MONET
2006
13 years 11 months ago
2006
We study auction mechanisms for sharing spectrum among a group of users, subject to a constraint on the interference temperature at a measurement point. The users access the channe...