Sciweavers

3255 search results - page 529 / 651
» Combination of Abstractions in the ASTR
Sort
View
NGC
2006
Springer
102views Communications» more  NGC 2006»
13 years 10 months ago
Evaluation of Automatic Generation of Basic Stories
Abstract This paper presents an application that automatically generates basic stories: short texts that only narrate the main events of the plot. The system operates with a repres...
Federico Peinado, Pablo Gervás
AAECC
2005
Springer
131views Algorithms» more  AAECC 2005»
13 years 10 months ago
Noisy interpolation of sparse polynomials in finite fields
Abstract We consider a polynomial analogue of the hidden number problem introduced by Boneh andVenkatesan, namely the sparse polynomial noisy interpolation problem of recovering an...
Igor Shparlinski, Arne Winterhof
STTT
2008
134views more  STTT 2008»
13 years 10 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan
SYNTHESE
2008
79views more  SYNTHESE 2008»
13 years 10 months ago
Logical dynamics of some speech acts that affect obligations and preferences
ABSTRACT. In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combine...
Tomoyuki Yamada
ISCI
2007
117views more  ISCI 2007»
13 years 10 months ago
Cognitive high level information fusion
Fusion of sensor and communication data currently can only be performed at a late processing stage after sensor and information are formulated as logical statements at appropriate...
Leonid I. Perlovsky