Sciweavers

44 search results - page 3 / 9
» Connection Relations and Quantifier Scope
Sort
View
IPPS
2000
IEEE
15 years 2 months ago
Connectivity Models for Optoelectronic Computing Systems
Abstract. Rent's rule and related concepts of connectivity such as dimensionality, line-length distributions, and separators have found great use in fundamental studies of di ...
Haldun M. Özaktas
JELIA
1990
Springer
15 years 1 months ago
Semantic Interpretation as Higher-Order Deduction
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
Fernando C. N. Pereira
SAT
2009
Springer
109views Hardware» more  SAT 2009»
15 years 4 months ago
A Compact Representation for Syntactic Dependencies in QBFs
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
Florian Lonsing, Armin Biere
TASLP
2008
92views more  TASLP 2008»
14 years 9 months ago
Hybrid Signal-and-Link-Parametric Speech Quality Measurement for VoIP Communications
A hybrid signal-and-link-parametric approach to speech quality measurement for voice-over-Internet protocol (VoIP) communications is described. Connection parameters are used to de...
Tiago H. Falk, Wai-Yip Chan
IFIP
2004
Springer
15 years 3 months ago
Service Location and Multiparty Peering for Mobile Ad Hoc Communication
Abstract. Flexible personal communications may require dynamically discovering, using, and combining a number of services to support the activities of a mobile user. However, many ...
Dirk Kutscher, Jörg Ott