5084 search results - page 388 / 1017 » Proving Possibility Properties |
174
click to vote
COLT
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We consider the problem of estimating an unknown probability distribution from samples using the principle of maximum entropy (maxent). To alleviate overfitting with a v...
178
click to vote
ICTAC
2004
Springer
16 years 5 days ago
2004
Springer
Scenario based requirements specifications are the industry norm for defining communication protocols. Basic scenarios captured as UML sequence diagrams, Message Sequence Charts ...
169
click to vote
SAS
2004
Springer
16 years 5 days ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
194
click to vote
ICFEM
2003
Springer
16 years 20 hour ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
185
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
—This paper considers the design of handoff rerouting algorithms for reducing the overall session cost in personal communication systems (PCS). Most modern communication systems ...