4075 search results - page 476 / 815 » Modeling Distributed Algorithm Using B |
176
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
Many real-world domains exhibit rich relational structure and stochasticity and motivate the development of models that combine predicate logic with probabilities. These models de...
167
click to vote
ICDCSW
2005
IEEE
16 years 11 days ago
2005
IEEE
Capacity estimation is an important part of covert channel analysis. It measures the severity of a covert channel by estimating the maximum information rate attainable over it. Tr...
171
click to vote
FC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Suppose Alice and Bob are two entities (e.g. agents, organizations, etc.) that wish to negotiate a contract. A contract consists of several clauses, and each party has ce...
196
click to vote
SIGCSE
2003
ACM
16 years 10 hour ago
2003
ACM
Computer graphics forms an important part of a working scientist’s tools. This may be provided by resources with the scientist’s group or by capabilities of the toolkits that ...
250
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Illumination variation is one of intractable yet crucial problems in face recognition and many lighting normalization approaches have been proposed in the past decades. N...