Sciweavers

1578 search results - page 89 / 316
» Induction of Stable Models
Sort
View
TARK
1998
Springer
14 years 1 months ago
Hypothetical Knowledge and Counterfactual Reasoning
: Salmetintroduced a notion of hypothetical knowledge and showed how it could be used to capture the type of counterfactual reasoning necessary to force the backwards induction sol...
Joseph Y. Halpern
ASPDAC
2007
ACM
122views Hardware» more  ASPDAC 2007»
14 years 29 days ago
Predicting the Performance and Reliability of Carbon Nanotube Bundles for On-Chip Interconnect
Single-walled carbon nanotube (SWCNT) bundles have the potential to provide an attractive solution for the resistivity and electromigration problems faced by traditional copper int...
Arthur Nieuwoudt, Mosin Mondal, Yehia Massoud
ACL
2006
13 years 10 months ago
A Hybrid Relational Approach for WSD - First Results
We present a novel hybrid approach for Word Sense Disambiguation (WSD) which makes use of a relational formalism to represent instances and background knowledge. It is built using...
Lucia Specia
INFOCOM
2009
IEEE
14 years 3 months ago
The Capacity Allocation Paradox
— The Capacity Allocation Paradox (CAP) destabilizes a stable small-buffer network when a link capacity is increased. CAP is demonstrated in a basic 2x1 network topology. We show...
Asaf Baron, Ran Ginosar, Isaac Keslassy
AUTOMATICA
2011
13 years 4 months ago
Stability analysis of nonlinear quadratic systems via polyhedral Lyapunov functions
— Quadratic systems play an important role in the modeling of a wide class of nonlinear processes (electrical, robotic, biological, etc.). For such systems it is of mandatory imp...
Francesco Amato, Francesco Calabrese, Carlo Cosent...