1026 search results - page 204 / 206 » A Methodology for Equational Reasoning |
108
Voted
SYNTHESE
2010
15 years 6 days ago
2010
We argue that current discussions of criteria for actual causation are ill-posed in several respects. (1) The methodology of current discussions is by induction from intuitions ab...
132
click to vote
ACMACE
2009
ACM
14 years 11 months ago
2009
ACM
This paper examines an extensive user evaluation survey undertaken during an installation of PLACE-Hampi, a custombuilt augmented stereoscopic panoramic interactive cultural herit...
140
click to vote
ICSM
2009
IEEE
14 years 11 months ago
2009
IEEE
Software can be considered a live entity, as it undergoes many alterations throughout its lifecycle. Furthermore, developers do not usually retain a good design in favor of adding...
131
click to vote
WWW
2011
ACM
14 years 8 months ago
2011
ACM
The ability to aggregate huge volumes of queries over a large population of users allows search engines to build precise models for a variety of query-assistance features such as ...
115
click to vote
SIGKDD
2010
14 years 8 months ago
2010
A number of times when using cross-validation (CV) while trying to do classification/probability estimation we have observed surprisingly low AUC's on real data with very few...