Sciweavers

1578 search results - page 89 / 316
» Induction of Stable Models
Sort
View
120
Voted
TARK
1998
Springer
15 years 8 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
127
Voted
ASPDAC
2007
ACM
122views Hardware» more  ASPDAC 2007»
15 years 7 months 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
126
Voted
ACL
2006
15 years 5 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
105
Voted
INFOCOM
2009
IEEE
15 years 10 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
210
Voted
AUTOMATICA
2011
14 years 10 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...