1888 search results - page 149 / 378 » Proof theory and computational analysis |
176
Voted
COMPGEOM
2010
ACM
16 years 2 days ago
2010
ACM
We prove that the union complexity of a set of n constantcomplexity locally fat objects (which can be curved and/or non-convex) in the plane is O(λt+2(n) log n), where t is the m...
178
click to vote
MCS
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, the error-reject trade-off of linearly combined multiple classifiers is analysed in the framework of the minimum risk theory. Theoretical analysis described in [12,1...
190
Voted
LOGCOM
2006
15 years 7 months ago
2006
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...
202
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
This paper presents a series expansion for the evolution of a class of nonlinear systems characterized by constant input vector fields. We present a series expansion that can be c...
165
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
Auctions are pervasive in today’s society and provide a variety of real markets. This article facilitates a strategic choice between a set of available trading strategies by int...