8825 search results - page 105 / 1765 » All for one or one for all |
101
click to vote
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample min...
ISCAS
2003
IEEE
15 years 6 months ago
2003
IEEE
Generally, analog RF front-end circuits are designed to be functional under the most stringent, fixed, operating conditions, where all the performance parameters are set by crude ...
118
click to vote
EMMCVPR
2003
Springer
15 years 6 months ago
2003
Springer
Reconstructing a 3-D scene from more than one camera is a classical problem in computer vision. One of the major sources of difficulty is the fact that not all scene elements are v...
111
click to vote
FOCS
2000
IEEE
15 years 5 months ago
2000
IEEE
In many optimization problems, one seeks to allocate a limited set of resources to a set of individuals with demands. Thus, such allocations can naturally be viewed as vectors, wi...
136
click to vote
JELIA
1994
Springer
15 years 5 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...