3690 search results - page 244 / 738 » Computation with classical sequents |
93
Voted
BICOB
2009
Springer
15 years 7 months ago
2009
Springer
Association analysis is one of the most popular analysis paradigms in data mining. Despite the solid foundation of association analysis and its potential applications, this group o...
99
Voted
COCO
2009
Springer
15 years 7 months ago
2009
Springer
Starting with Kilian (STOC ‘92), several works have shown how to use probabilistically checkable proofs (PCPs) and cryptographic primitives such as collision-resistant hashing to...
92
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We study bisimulation and minimization for weighted automata, relying on a geometrical representation of the model, linear weighted automata (lwa). In a lwa, the state-sp...
92
Voted
UC
2009
Springer
15 years 7 months ago
2009
Springer
Some physical aspects related to the limit operations of the Thomson lamp are discussed. Regardless of the formally unbounded and even infinite number of “steps” involved, the...
82
Voted
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
Image matching is a fundamental task for many applications of computer vision. Today it is very popular to represent two matched images as two bags of local descriptors, and the c...