9626 search results - page 1426 / 1926 » Invariant Based Programming |
199
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We extend the framework of mixed multi-unit combinatorial auctions to include time constraints, present an expressive bidding language, and show how to solve the winner determinati...
151
click to vote
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
Most existing structure-from-motion methods follow a common two-step scheme, where relative camera motions are estimated in the first step and 3D structure is computed afterward ...
184
click to vote
AI
2010
Springer
15 years 7 months ago
2010
Springer
The subgraph isomorphism problem involves deciding if there exists a copy of a pattern graph in a target graph. This problem may be solved by a complete tree search combined with ...
212
click to vote
APAL
2008
15 years 7 months ago
2008
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....
152
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Botnets, which consist of thousands of compromised machines, can cause significant threats to other systems by launching Distributed Denial of Service (DDoS) attacks, keylogging, a...