3155 search results - page 204 / 631 » Maintenance: Less Is Not More |
159
click to vote
QEST
2005
IEEE
15 years 10 months ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
142
click to vote
SCAM
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents an optimisation technique which automatically inlines certain classes within their enclosing class. Inlining a class involves inserting the fields and methods ...
155
click to vote
WACV
2005
IEEE
15 years 10 months ago
2005
IEEE
A number of recent systems for unsupervised featurebased learning of object models take advantage of cooccurrence: broadly, they search for clusters of discriminative features tha...
143
Voted
ASIACRYPT
2005
Springer
15 years 10 months ago
2005
Springer
The security of key agreement protocols has traditionally been notoriously hard to establish. In this paper we present a modular approach to the construction of proofs of security ...
117
click to vote
COSIT
2005
Springer
15 years 10 months ago
2005
Springer
In previous empirical work humans did not recognize the definition of most topological operators for regions by their names in two geospatial information systems (GIS). This work d...