Sciweavers

1404 search results - page 65 / 281
» Dynamic Scale-Space Theories
Sort
View
DAC
2005
ACM
14 years 12 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»
14 years 5 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»
14 years 5 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
14 years 3 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
14 years 3 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