3731 search results - page 247 / 747 » cases 2006 |
183
click to vote
AMAI
2006
Springer
15 years 6 months ago
2006
Springer
This paper proposes a formalization in COQ of common knowledge logic and checks its adequacy on case studies. This exercise allows exploring experimentally the proof-theoretic sid...
157
click to vote
AOR
2006
15 years 6 months ago
2006
This paper is devoted to basic scheduling problems in which the scheduling cost of a job is not a function of its completion time. Instead, the cost is derived from the integratio...
162
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
: In this paper, a new concept of invariance for saturated linear systems is presented. This new notion of invariance, denoted SNS-invariance, has a number of geometrical propertie...
146
click to vote
CN
2006
15 years 6 months ago
2006
We compare the effectiveness of uniform versus non-uniform waveband switching under the dual cost metrics of switching requirements and fiber capacity. We consider a star topology...
177
click to vote
COMGEO
2006
ACM
15 years 6 months ago
2006
ACM
An algorithm is proposed for the simultaneous computation of all Minkowski functionals (except for the volume) of sets from the convex ring in Rd discretized with respect to a give...