نتایج جستجو برای: in waiver clauses

تعداد نتایج: 16977295  

Journal: :ACM SIGPLAN Notices 1995

2006
Willem M. Mak Wietske Vonk Herbert Schriefers

For several languages, a preference for subject relative clauses over object relative clauses has been reported. However, Mak, Vonk, and Schriefers (2002) showed that there is no such preference for relative clauses with an animate subject and an inanimate object. A Dutch object relative clause as . . .de rots, die de wandelaars beklommen hebben. . . (‘the rock, that the hikers climbed’) did no...

Journal: :Inf. Comput. 2011
Gregory Gutin Mark Jones Anders Yeo

Let F be a CNF formula with n variables and m clauses. F is 3-satisfiable if for any 3 clauses in F , there is a truth assignment which satisfies all of them. Lieberherr and Specker (1982) and, later, Yannakakis (1994) proved that in each 3-satisfiable CNF formula at least 2 3 of its clauses can be satisfied by a truth assignment. We improve this result by showing that every 3-satisfiable CNF f...

2008
ANDREA ZUKOWSKI Gaby Hermon Natalie Hsu

Relative clauses have been implicated alternately as a strength and a weakness in the language of people with Williams Syndrome (WS). To clarify the facts, an elicited production test was administered to 10 people with WS (age 10 16 years), 10 typically developing children (age 4 7 years), and 12 typically developing adults. Nearly every WS participant successfully produced both subject gap (SG...

2011
Maris Camilleri Louisa Sadler Miriam Butt Tracy Holloway

This paper provides a descriptive overview of restrictive relative clauses (henceforth RRCs) in Maltese, a construction which has received little attention to date and which is poorly described in existing grammars. We outline an LFG approach to the facts we describe bulding on existing analyses, and notably on Asudeh 2004/to appear, as far as the treatment of resumption in RRCs is concerned. F...

2004
Steven B. Lesser

E xculpatory clauses extinguish or limit liability of a potentially culpable party through the use of disclaimer, assumption of risk and indemnification clauses as well as releases of liability. For decades, Florida courts have wrestled with issues relating to the enforcement of exculpatory clauses where liability arises from personal injury, real estate, construction, and commercial disputes. ...

2012
Ruben Martins Vasco M. Manquinho Inês Lynce

In parallel MaxSAT solving, sharing learned clauses is expected to help to further prune the search space and boost the performance of a parallel solver. However, not all learned clauses should be shared since it could lead to an exponential blow up in memory and to sharing many irrelevant clauses. The main question is which learned clauses should be shared among the different threads. This pap...

2006
Ellen H. Courtney

A B S T R A C T This study investigates the production of Quechua relative clauses by Peruvian adults and children, aged 2;8–4;7. Quechua relative clauses may be internally-headed, externally-headed or headless. Previous studies (e.g., O'Grady, 2003), suggested two outcomes: children will have less difficulty producing subject-gap relative clauses than other types; and, compared with adults, ch...

2007
Federico Heras Javier Larrosa Albert Oliveras

In this paper we introduce MINIMAXSAT, a new Max-SAT solver that incorporates the best SAT and Max-SAT techniques. It can handle hard clauses (clauses of mandatory satisfaction as in SAT), soft clauses (clauses whose falsification is penalized by a cost as in Max-SAT) as well as pseudo-boolean objective functions and constraints. Its main features are: learning and backjumping on hard clauses; ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید