2517 search results - page 118 / 504 » Specifying Weak Sets |
149
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper we investigate the static multicast advance reservation (MCAR) problem for all-optical wavelengthrouted WDM networks. Advance reservation connection requests specify ...
201
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
126
click to vote
NIPS
2000
15 years 6 months ago
2000
We develop an approach for a sparse representation for Gaussian Process (GP) models in order to overcome the limitations of GPs caused by large data sets. The method is based on a...
123
click to vote
JUCS
2006
15 years 5 months ago
2006
: Behavioural specifications allow to focus only on the"observable" behaviour of objects. These observations are made through "observable contexts" which are pa...
178
click to vote
SP
2002
IEEE
15 years 5 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...