913 search results - page 30 / 183 » Full Abstraction for Linda |
PRIS
2004
13 years 9 months ago
2004
Abstract. Feature selection researchers often encounter a peaking phenomenon: a feature subset can be found that is smaller but still enables building a more accurate classifier th...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Abstract. Automated theorem provers are used in extended static checking, where they are the performance bottleneck. Extended static checkers are run typically after incremental ch...
JANCL
2007
13 years 7 months ago
2007
ABSTRACT. This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication [HOE 99, GER 99]. It ...
BEHAVIOURIT
2002
13 years 7 months ago
2002
Abstract. An experiment is reported that compared expandable indexes providing full menu context with sequentialmenus providing only partial context. Menu depth was varied using hi...
NOMS
2000
IEEE
13 years 12 months ago
2000
IEEE
ot only high level description of abstract policy, but also enables such policy to be refined and eventually mapped into an appropriate configuration for controlling devices in the...