2519 search results - page 254 / 504 » Reasoning with Textual Cases |
161
click to vote
ISCC
2003
IEEE
15 years 12 months ago
2003
IEEE
One of the key issues for implementing congestion pricing is the pricing granularity (i.e. pricing interval or timescale). The Internet traffic is highly variant and hard to cont...
182
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
We study how several collective operations like broadcast, reduction, scan, etc. can be composed efficiently in complex parallel programs. Our specific contributions are: (1) a fo...
150
click to vote
FM
1994
Springer
15 years 10 months ago
1994
Springer
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it i...
151
click to vote
CIA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Agents may choose to ignore contract violations if the costs of enforcing the contract exceed the compensation they would receive. In this paper we provide an argumentati...
177
click to vote
ICIP
1995
IEEE
15 years 10 months ago
1995
IEEE
We introduce a projection based multi-channel restoration method which is useful in cases for which there is no a priori information about the input signal. The method is especial...