Sciweavers

592 search results - page 31 / 119
» Individual error, group error, and the value of information
Sort
View
CC
2006
Springer
108views System Software» more  CC 2006»
14 years 7 days ago
Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
Teck Bok Tok, Samuel Z. Guyer, Calvin Lin
CDC
2008
IEEE
142views Control Systems» more  CDC 2008»
14 years 3 months ago
Asynchronous distributed optimization with minimal communication
— We consider problems where multiple agents must cooperate to control their individual state so as to optimize a common objective while communicating with each other to exchange...
Minyi Zhong, Christos G. Cassandras
AAAI
1990
13 years 9 months ago
Parsing a Natural Language Using Mutual Information Statistics
The purpose of this paper is to characterize a constituent boundary parsing algorithm, using an information-theoretic measure called generalized mutual information, which serves a...
David M. Magerman, Mitchell P. Marcus
ISSTA
2010
ACM
13 years 10 months ago
Perturbing numerical calculations for statistical analysis of floating-point program (in)stability
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...
Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su
IFIP12
2008
13 years 10 months ago
Optimizing Relationships Information in Repertory Grids
The Repertory Grid method is widely used in knowledge engineering to infer functional relationships between constructs given by an expert. The method is ignoring information that c...
Enrique Calot, Paola Britos, Ramón Garc&iac...