183 search results - page 11 / 37 » Canonical Big Operators |
ISMIS
2005
Springer
14 years 3 months ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
ICALP
2000
Springer
14 years 1 months ago
2000
Springer
In this paper we investigate timed polyhedra, i.e. polyhedra which are finite unions of full dimensional simplices of a special kind. Such polyhedra form the basis of timing analys...
GECCO
2007
Springer
14 years 4 months ago
2007
Springer
Multiobjective optimization problems with many local Pareto fronts is a big challenge to evolutionary algorithms. In this paper, two operators, biased initialization and biased cr...
MVA
2002
13 years 9 months ago
2002
In this paper, we propose a method of tracking a soccer player using multiple cameras. For tracking soccer players, occlusion is always the big problem and tracking is often faile...
LICS
2012
IEEE
12 years 7 days ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...