Sciweavers

1519 search results - page 105 / 304
» What do they think
Sort
View
DCG
2008
93views more  DCG 2008»
13 years 10 months ago
Odd Crossing Number and Crossing Number Are Not the Same
The crossing number of a graph is the minimum number of edge intersections in a plane drawing of a graph, where each intersection is counted separately. If instead we count the nu...
Michael J. Pelsmajer, Marcus Schaefer, Daniel Stef...
IS
2008
13 years 10 months ago
An analysis of XQuery benchmarks
This paper presents a survey and an analysis of the XQuery benchmark publicly available in 2006 -- XMach-1, XMark, X007, the Michigan benchmark, and XBench -- from different persp...
Loredana Afanasiev, Maarten Marx
SOFTWARE
2002
13 years 10 months ago
Software Engineering is Not Enough
Much of the software engineering literature begins with an admonition that what practitioners are doing isn't enough--that the state-of-the-practice is creating bad software. ...
James A. Whittaker, Steven Atkin
FMAM
2010
174views Formal Methods» more  FMAM 2010»
13 years 8 months ago
Are Formal Methods Ready for Agility? A Reality Check
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff
LLC
2011
123views more  LLC 2011»
13 years 5 months ago
Computational Phonology - Part I: Foundations
Computational phonology approaches the study of sound patterns in the world’s languages from a computational perspective. This article explains this perspective and its relevanc...
Jeffrey Heinz