Sciweavers

329 search results - page 45 / 66
» Static Timing Analysis Taking Crosstalk into Account
Sort
View
LREC
2010
163views Education» more  LREC 2010»
13 years 9 months ago
Lexical Resources and Ontological Classifications for the Recognition of Proper Names Sense Extension
Particular uses of PNs with sense extension are focussed on and inspected taking into account the presence of PNs in lexical semantic databases and electronic corpora. Methodology...
Rita Marinelli
ACL
1998
13 years 9 months ago
Terminology Finite-State Preprocessing for Computational LFG
This paper presents a technique to deal with multiword nominal terminology in a computational Lexical Functional Grammar. This method treats multiword terms as single tokens by mo...
Caroline Brun
AUTOMATICA
2008
88views more  AUTOMATICA 2008»
13 years 7 months ago
Control design with guaranteed ultimate bound for perturbed systems
We present a new control design method for perturbed multiple-input systems, which guarantees any desired componentwise ultimate bound on the system state. The method involves eig...
Ernesto Kofman, María M. Seron, Hernan Haim...
JCM
2007
114views more  JCM 2007»
13 years 7 months ago
Tunable Pulse Amplitude and Position Modulation Technique for Reliable Optical Wireless Communication Channels
—Modulation techniques have attracted increasing attention in optical wireless communications. Basic schemes such as on off keying (OOK), pulse amplitude modulation (PAM) and pul...
Yu Zeng, Roger J. Green, Shaobo Sun, Mark S. Leeso...
PLDI
2012
ACM
11 years 10 months ago
Automated error diagnosis using abductive inference
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
Isil Dillig, Thomas Dillig, Alex Aiken