3428 search results - page 183 / 686 » Making the Case |
229
click to vote
TOPLAS
2008
15 years 4 months ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
117
click to vote
AICCSA
2007
IEEE
15 years 10 months ago
2007
IEEE
In this work we have examined the problem of consensus information fusion from a novel point of view, challenging the fundamental assumption of mutual trust among the fusion parti...
115
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
We have built a software development tool, CLIME, that uses constraints to ensure the consistency of the different artifacts associated with software. This approach to software dev...
155
click to vote
WOWMOM
2005
ACM
15 years 10 months ago
2005
ACM
Current ad hoc multicast routing protocols have been designed to build and maintain a tree or mesh in the face of a mobile environment, with fast reaction to network changes in or...
140
Voted
IDEAL
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Ordinal data play an important part in financial forecasting. For example, advice from expert sources may take the form of "bullish", "bearish" or &qu...