Sciweavers

1040 search results - page 52 / 208
» A Syntactical Approach to Revision
Sort
View
ECAI
2004
Springer
14 years 3 months ago
Representing Beliefs in the Fluent Calculus
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
Yi Jin, Michael Thielscher
COLING
1990
13 years 11 months ago
Incremental Parsing and Reason Maintenance
The purpose of this paper is to compare different ways of adopting reason-maintenance techniques in incremental parsing (and interpretation). A reasonmaintenance system supports i...
Mats Wirén
RFIDSEC
2010
13 years 5 months ago
EC-RAC: Enriching a Capacious RFID Attack Collection
Abstract. We demonstrate two classes of attacks on EC-RAC, a growing set of RFID protocols. Our first class of attacks concerns the compositional approach used to construct a parti...
Ton van Deursen, Sasa Radomirovic
SAMT
2007
Springer
135views Multimedia» more  SAMT 2007»
14 years 4 months ago
Stopping Region-Based Image Segmentation at Meaningful Partitions
This paper proposes a new stopping criterion for automatic image segmentation based on region merging. The criterion is dependent on image content itself and when combined with the...
Tomasz Adamek, Noel E. O'Connor
ACSC
2008
IEEE
14 years 4 months ago
Automatic thesaurus construction
1 In this paper we introduce a novel method of automating thesauri using syntactically constrained distributional similarity. With respect to syntactically conditioned cooccurrence...
Dongqiang Yang, David M. W. Powers