Sciweavers

561 search results - page 22 / 113
» Inferring better contracts
Sort
View
CSSC
2010
79views more  CSSC 2010»
13 years 7 months ago
Are Bayesian Inferences Weak for Wasserman's Example?
: An example was given in the textbook All of Statistics (Wasserman, 2004, pages 186-188) for arguing that, in the problems with a great many parameters Bayesian inferences are wea...
Longhai Li
WACV
2012
IEEE
12 years 3 months ago
Simultaneous inference of activity, pose and object
Human movements are important cues for recognizing human actions, which can be captured by explicit modeling and tracking of actor or through space-time low-level features. Howeve...
Furqan M. Khan, Vivek Kumar Singh, Ram Nevatia
JELIA
2004
Springer
14 years 29 days ago
Logic Programming Infrastructure for Inferences on FrameNet
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....
Peter Baumgartner, Aljoscha Burchardt
ICSE
2007
IEEE-ACM
14 years 1 months ago
Automatic Inference of Structural Changes for Matching across Program Versions
Mapping code elements in one version of a program to corresponding code elements in another version is a fundamental building block for many software engineering tools. Existing t...
Miryung Kim, David Notkin, Dan Grossman
ECML
2005
Springer
14 years 1 months ago
U-Likelihood and U-Updating Algorithms: Statistical Inference in Latent Variable Models
Abstract. In this paper we consider latent variable models and introduce a new U-likelihood concept for estimating the distribution over hidden variables. One can derive an estimat...
JaeMo Sung, Sung Yang Bang, Seungjin Choi, Zoubin ...