Sciweavers

Share
COGSCI
2010
87views more  COGSCI 2010»
8 years 11 months ago
An On-Line Study of Japanese Nesting Complexity
This paper reports the results of a self-paced reading experiment in Japanese in which the materials consisted of four versions of successively more nested syntactic structures. I...
Kentaro Nakatani, Edward Gibson
ECAI
2010
Springer
9 years 14 days ago
Nested Monte-Carlo Expression Discovery
Nested Monte-Carlo search is a general algorithm that gives good results in single player games. Genetic Programming evaluates and combines trees to discover expressions that maxim...
Tristan Cazenave
PDPTA
2003
9 years 22 days ago
Estimating Fault-Detection and Fail-Over Times for Nested Real-Time CORBA Applications
Abstract— Today’s middleware applications tend to be complicated, and consist of tiers that form a nested chain of objects or processes. For a real-time nested application, pre...
Sukanya Ratanotayanon, Priya Narasimhan
CAV
2006
Springer
129views Hardware» more  CAV 2006»
9 years 3 months ago
Languages of Nested Trees
We study languages of nested trees--structures obtained by augmenting trees with sets of nested jump-edges. These graphs can naturally model branching behaviors of pushdown program...
Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
DBPL
1997
Springer
90views Database» more  DBPL 1997»
9 years 3 months ago
Implementing Incremental View Maintenance in Nested Data Models
Previous research on materialized views has primarily been in the context of flat relational databases--materialized views defined in terms of one or more flat relations. This pape...
Akira Kawaguchi, Daniel F. Lieuwen, Inderpal Singh...
BTW
2003
Springer
170views Database» more  BTW 2003»
9 years 4 months ago
Executing Nested Queries
Abstract: Optimization of nested queries, in particular finding equivalent “flattened” queries for queries that employ the SQL sub-query construct, has been researched extensiv...
Goetz Graefe
ISSAC
2004
Springer
98views Mathematics» more  ISSAC 2004»
9 years 4 months ago
Symbolic summation with single-nested sum extensions
We present a streamlined and refined version of Karr’s summation algorithm. Karr’s original approach constructively decides the telescoping problem in ΠΣ-fields, a very ge...
Carsten Schneider
PPOPP
2005
ACM
9 years 5 months ago
A linear-time algorithm for optimal barrier placement
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...
Alain Darte, Robert Schreiber
TABLEAUX
2009
Springer
9 years 5 months ago
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference
We consider two sequent calculi for tense logic in which the syntactic judgements are nested sequents, i.e., a tree of traditional onesided sequents built from multisets of formula...
Rajeev Goré, Linda Postniece, Alwen Tiu
books