Sciweavers

787 search results - page 82 / 158
» A Survey on Transfer Learning
Sort
View
FASE
2011
Springer
12 years 11 months ago
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Lu Feng, Marta Z. Kwiatkowska, David Parker
EXPDB
2006
ACM
14 years 2 months ago
An Analysis of the Current XQuery Benchmarks
This paper presents an extensive survey of the currently publicly available XQuery benchmarks — XMach-1, XMark, X007, the Michigan benchmark, and XBench — from different persp...
Loredana Afanasiev, Maarten Marx
AGILEDC
2005
IEEE
14 years 1 months ago
Student Experiences with Executable Acceptance Testing
This report describes experiences of introducing executable acceptance testing in senior software engineering courses. Students in an agile environment completed a five-iteration ...
Kris Read, Grigori Melnik, Frank Maurer
AUSDM
2006
Springer
136views Data Mining» more  AUSDM 2006»
13 years 12 months ago
Data Mining in Conceptualising Active Ageing
The concept of older adults contributing to society in a meaningful way has been termed `active ageing'. We present applications of data mining techniques on the active agein...
Richi Nayak, Laurie Buys, Jan Lovie-Kitchin
LPNMR
2011
Springer
12 years 11 months ago
Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI
Over the last 25 years there has been considerable body of research into combinations of predicate logic and probability forming what has become known as (perhaps misleadingly) sta...
David Poole