11949 search results - page 157 / 2390 » Some results on (a:b)-choosability |
125
click to vote
RTA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we present some new refinements of the dependency pair method for automatically proving the termination of term rewrite systems. These refinements are ver...
ICRA
2003
IEEE
15 years 6 months ago
2003
IEEE
— This paper presents our approach to extending the niche of behavior-based robotics to manipulation. We use results from neuroscience to define the basic behaviors of the manip...
ISCAS
2003
IEEE
2003
IEEE
Bifurcation analysis of a power-factor-correction boost converter: uncovering fast-scale instability
15 years 6 months ago
Bifurcation analysis is performed to a power-factor-correction (PFC) boost converter to examine the fast-scale instability problem. Computer simulations and analysis reveal the po...
CONTEXT
2003
Springer
15 years 6 months ago
2003
Springer
Our concern is the explanation generation in a representation based on contextual categorization. We point out that the explicit consideration of the context is necessary for the g...
DAGM
2003
Springer
15 years 6 months ago
2003
Springer
Optimal labeling problems are NP-hard in many practically important cases. Sufficient conditions for optimal label detection in every pixel are formulated. Knowing the values of th...