Sciweavers

113 search results - page 17 / 23
» Iterated Weaker-than-Weak Dominance
Sort
View
DATE
2003
IEEE
90views Hardware» more  DATE 2003»
14 years 23 days ago
Transistor-Level Static Timing Analysis by Piecewise Quadratic Waveform Matching
While fast timing analysis methods, such as asymptotic waveform evaluation (AWE), have been well established for linear circuits, the timing analysis for non-linear circuits, whic...
Zhong Wang, Jianwen Zhu
LORI
2009
Springer
14 years 1 days ago
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
Emiliano Lorini, François Schwarzentruber, ...
NIPS
2001
13 years 8 months ago
Natural Language Grammar Induction Using a Constituent-Context Model
This paper presents a novel approach to the unsupervised learning of syntactic analyses of natural language text. Most previous work has focused on maximizing likelihood according...
Dan Klein, Christopher D. Manning
JSAC
2008
101views more  JSAC 2008»
13 years 7 months ago
Sequential Bandwidth and Power Auctions for Distributed Spectrum Sharing
We study a sequential auction for sharing a wireless resource (bandwidth or power) among competing transmitters. The resource is assumed to be managed by a spectrum broker (auction...
Junjik Bae, Eyal Beigman, Randall A. Berry, Michae...
CJ
1999
87views more  CJ 1999»
13 years 7 months ago
Evolution-Based Scheduling of Computations and Communications on Distributed Memory Multicomputers
We present a compiler optimization approach that uses the simulated evolution (SE) paradigm to enhance the finish time of heuristically scheduled computations with communication t...
Mayez A. Al-Mouhamed