2042 search results - page 272 / 409 » Variable Number of |
132
click to vote
CVPR
2010
IEEE
16 years 12 days ago
2010
IEEE
Tracking individuals in extremely crowded scenes is a challenging task, primarily due to the motion and appearance variability produced by the large number of people within the sc...
127
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Mixed Multi-Unit Combinatorial Auctions (MMUCAs) allow agents to bid for bundles of goods to buy, goods to sell, and transformations of goods. In particular, MMUCAs offer a high ...
151
click to vote
RTAS
2005
IEEE
15 years 10 months ago
2005
IEEE
Feedback control real-time scheduling (FCS) aims at satisfying performance specifications of real-time systems based on adaptive resource management. Existing FCS algorithms often...
133
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
164
click to vote
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...