2875 search results - page 238 / 575 » Model checking agentspeak |
133
click to vote
AHSWN
2010
15 years 4 months ago
2010
Considerations of realistic channel dynamics motivate the design of a new breed of opportunistic schemes, such as opportunistic transmission, scheduling and routing. Compared to t...
140
Voted
TCCI
2010
15 years 2 months ago
2010
According to transaction cost economics, contracts are always incomplete and offer opportunities to defect. Some level of trust is a sine qua non for trade. If the seller is better...
123
Voted
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
We propose a region-based foreground object segmentation method capable of dealing with image sequences containing noise, illumination variations and dynamic backgrounds (as often...
157
click to vote
SMI
2010
IEEE
15 years 1 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
113
Voted
ASIACRYPT
2003
Springer
15 years 9 months ago
2003
Springer
We introduce a new cryptographic tool: multiset hash functions. Unlike standard hash functions which take strings as input, multiset hash functions operate on multisets (or sets). ...