Sciweavers

5089 search results - page 130 / 1018
» Attention
Sort
View
ENTCS
2006
99views more  ENTCS 2006»
15 years 4 months ago
Termination Criteria for Bounded Model Checking: Extensions and Comparison
Increasing attention has been paid recently to criteria that allow one to conclude that a structure models a linear-time property from the knowledge that no counterexamples exist ...
Mohammad Awedh, Fabio Somenzi
IJAR
2006
241views more  IJAR 2006»
15 years 4 months ago
Spatial reasoning under imprecision using fuzzy set theory, formal logics and mathematical morphology
In spatial reasoning, in particular for applications in image understanding, structure recognition and computer vision, a lot of attention has to be paid to spatial relationships ...
Isabelle Bloch
COR
2007
90views more  COR 2007»
15 years 4 months ago
Analysis of bounds for a capacitated single-item lot-sizing problem
Lot-sizing problems are cornerstone optimization problems for production planning with time varying demand. We analyze the quality of bounds, both lower and upper, provided by a r...
Jill R. Hardin, George L. Nemhauser, Martin W. P. ...
IJON
2006
97views more  IJON 2006»
15 years 4 months ago
Bifurcations in Morris-Lecar neuron model
We investigate bifurcations observed in a Morris-Lecar neuron model. Especially, we paid attention to the change of bifurcation structures between type I and type II models. We fo...
Kunichika Tsumoto, Hiroyuki Kitajima, Tetsuya Yosh...
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 4 months ago
Realistic Rendering of Kinetostatic Indices of Mechanisms
: The work presented in this paper is related to the use of a haptic device in an environment of robotic simulation. Such device introduces a new approach to feel and to understand...
Damien Chablat, Fouad Bennis