Sciweavers

1404 search results - page 65 / 281
» Dynamic Scale-Space Theories
Sort
View
DAC
2005
ACM
16 years 4 months ago
IODINE: a tool to automatically infer dynamic invariants for hardware designs
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
Sudheendra Hangal, Naveen Chandra, Sridhar Narayan...
ICC
2007
IEEE
120views Communications» more  ICC 2007»
15 years 10 months ago
Dynamic Network Selection using Kernels
—We present a new algorithm for vertical handover and dynamic network selection, based on a combination of multiattribute utility theory, kernel learning and stochastic gradient ...
Eric van den Berg, Praveen Gopalakrishnan, Byungsu...
IROS
2006
IEEE
111views Robotics» more  IROS 2006»
15 years 9 months ago
A Dynamic JKR Model with Application to Vibrational Release in Micromanipulation
— In this paper a dynamic contact model is presented based on the Johnson-Kendall-Roberts (JKR) theory. The classical JKR model captures the contact properties for the quasi-stat...
Yang Fang, Xiaobo Tan
EMMCVPR
2001
Springer
15 years 8 months ago
Matching Free Trees, Maximal Cliques, and Monotone Game Dynamics
—Motivated by our recent work on rooted tree matching, in this paper we provide a solution to the problem of matching two free (i.e., unrooted) trees by constructing an associati...
Marcello Pelillo
CONTEXT
1999
Springer
15 years 8 months ago
Dynamics and Automaticity of Context: A Cognitive Modeling Approach
AI and psychological approaches to context are contrasted and the dynamic and automatic nature of the continuous context change in human cognition is emphasized. A dynamic theory o...
Boicho N. Kokinov