2356 search results - page 86 / 472 » Characterizations of postman sets |
165
click to vote
SIGMETRICS
2011
ACM
14 years 7 months ago
2011
ACM
Threshold-based performance monitoring in large 3G networks is very challenging for two main factors: large network scale and dynamics in both time and spatial domains. There exis...
145
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
Higher-order matching is the problem given t = u where t, u are terms of simply typed λ-calculus and u is closed, is there a substitution θ such that tθ and u have the same nor...
119
click to vote
ICRA
1994
IEEE
15 years 8 months ago
1994
IEEE
Previous work by Mattikalli et al.[1] considered the stability of assemblies of frictionless contacting bodies with uniform gravity. A linear programming-based technique was descr...
115
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
We consider a general class of timed automata parameterized by a set of "input-determined" operators, in a continuous time setting. We show that for any such set of opera...
137
click to vote
JAT
2011
14 years 11 months ago
2011
Stone-Weierstrass-type theorems for groups of group-valued functions with discrete range or discrete domain are obtained. We study criteria for a subgroup of the group of continuou...