Sciweavers

1729 search results - page 15 / 346
» What Is an Opinion About
Sort
View
STOC
1995
ACM
117views Algorithms» more  STOC 1995»
13 years 11 months ago
What's decidable about hybrid automata?
Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pr...
CIKM
2009
Springer
13 years 10 months ago
Provenance query evaluation: what's so special about it?
While provenance has been extensively studied in the literature, the efficient evaluation of provenance queries remains an open problem. Traditional query optimization techniques...
Anastasios Kementsietsidis, Min Wang
DIAGRAMS
2008
Springer
13 years 9 months ago
What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism?
Abstract. In this paper, we develop a cognitive account of autism centered around a reliance on pictorial representations. This Thinking in Pictures hypothesis shows significant po...
Maithilee Kunda, Ashok K. Goel
EMSOFT
2008
Springer
13 years 9 months ago
Volatiles are miscompiled, and what to do about it
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
Eric Eide, John Regehr