Sciweavers

412 search results - page 61 / 83
» Semantic Representation of Negation Using Focus Detection
Sort
View
SOUPS
2006
ACM
15 years 9 months ago
The methodology and an application to fight against Unicode attacks
Unicode is becoming a dominant character representation format for information processing. This presents a very dangerous usability and security problem for many applications. The...
Anthony Y. Fu, Xiaotie Deng, Liu Wenyin, Greg Litt...
ATAL
2010
Springer
15 years 4 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
INFORMATICALT
2007
127views more  INFORMATICALT 2007»
15 years 3 months ago
Composition of Loop Modules in the Structural Blanks Approach to Programming with Recurrences: A Task of Synthesis of Nested Loo
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
Vytautas Cyras
133
Voted
RAID
1999
Springer
15 years 8 months ago
IDS Standards: Lessons Learned to Date
: I will discuss two efforts to get Intrusion Detection Systems to work together - the Common Intrusion Detection Framework (CIDF), and the IETF's working group to develop an ...
Stuart Staniford-Chen
PRL
2008
131views more  PRL 2008»
15 years 3 months ago
Progressive structural analysis for dynamic recognition of on-line handwritten mathematical expressions
Structural analysis in handwritten mathematical expressions focuses on interpreting the recognized symbols using geometrical information such as relative sizes and positions of th...
Ba-Quy Vuong, Siu Cheung Hui, Yulan He