4276 search results - page 439 / 856 » Techniques for Empirical Validation |
192
click to vote
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
World Wide Web, the biggest distributed system ever built, experiences tremendous growth and change in Web sites, users, and technology. A realistic and accurate characterization ...
191
click to vote
ECMDAFA
2010
Springer
15 years 10 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
192
click to vote
AIPS
2010
15 years 9 months ago
2010
Compared to optimal planners, satisficing planners can solve much harder problems but may produce overly costly and long plans. Plan quality for satisficing planners has become in...
175
click to vote
ESEM
2008
ACM
15 years 8 months ago
2008
ACM
Project managers can use capture-recapture models to manage the inspection process by estimating the number of defects present in an artifact and determining whether a reinspectio...
210
Voted
NIPS
2008
15 years 8 months ago
2008
The cluster assumption is exploited by most semi-supervised learning (SSL) methods. However, if the unlabeled data is merely weakly related to the target classes, it becomes quest...