Sciweavers

2741 search results - page 136 / 549
» Engineering Mathematical Knowledge
Sort
View
132
Voted
ECAI
2006
Springer
15 years 6 months ago
Efficient Knowledge Acquisition for Extracting Temporal Relations
Abstract. Machine learning approaches in natural language processing often require a large annotated corpus. We present a complementary approach that utilizes expert knowledge to o...
Son Bao Pham, Achim G. Hoffmann

Book
519views
17 years 1 months ago
Information Theory, Inference, and Learning Algorithms
This book is aimed at senior undergraduates and graduate students in Engineering, Science, Mathematics, and Computing. It expects familiarity with calculus, probability theory, and...
David J. C. MacKay
120
Voted
FASE
2010
Springer
15 years 9 months ago
Proving Consistency and Completeness of Model Classes Using Theory Interpretation
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
Ádám Darvas, Peter Müller
99
Voted
ISSRE
2000
IEEE
15 years 7 months ago
How to Measure the Impact of Specific Development Practices on Fielded Defect Density
This author has mathematically correlated specific developmentpractices to defect density andprobability of on time delivev. Thispaper summarizes the results of this ongoing study...
Ann Marie Neufelder
IWPC
2000
IEEE
15 years 7 months ago
Types and Concept Analysis for Legacy Systems
We combine type inference and concept analysis in order to gain insight into legacy software systems. Type inference for COBOL yields the types for variables and program parameter...
Tobias Kuipers, Leon Moonen