1995 search results - page 248 / 399 » What's the Problem |
130
click to vote
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
130
click to vote
AAAI
2006
15 years 5 months ago
2006
Assume that we are trying to build a visual recognizer for a particular class of objects--chairs, for example--using existing induction methods. Assume the assistance of a human t...
126
click to vote
NETWORK
2006
15 years 4 months ago
2006
As ISPs and telcos converge toward all-IP network infrastructures, the problem of service reliability becomes more acute. In this article, we investigate to what extent DiffServ c...
123
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Fred Brooks’ retelling of the biblical story of the Tower of Babel offers many insights into what makes building software difficult. The difficulty, according to common interp...
129
click to vote
SIGKDD
2010
15 years 2 months ago
2010
Social tagging on online portals has become a trend now. It has emerged as one of the best ways of associating metadata with web objects. With the increase in the kinds of web obj...